Math 260AB - Mathematical Logic, UCSD 2012
Wednesday, April 25, 2012
Scribe notes for April 20
Here are the scribe notes for April 20th:
PDF
,
TeX
The topic: Primitive recursion -- sequence coding and Turing Machines
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment