Computer Science 81: Computability and Logic
Instructor: Joe Vanderwaart
Syllabus.
Announcement
The midterm exam is on the date given by the syllabus, which is
Thursday, October 13th.
Supplemental Notes
- On Deterministic and Nondeterministic Finite Automata, Formally
[pdf]
- On Pushdown Automata [pdf]
- On Quines and the Recursion Theorem (Off-topic!) [pdf]
- On Propositional Logic [pdf]
- On First-Order Logic [pdf]
Homework Assignments
- Homework 1, due 9/8/2005 [pdf] (solutions
[pdf])
- Homework 2, due 9/15/2005 [tex][pdf] (solutions [pdf])
- Homework 3, due 9/22/2005 [tex][pdf] (solutions [pdf])
- Homework 4, due 9/29/2005 [tex][pdf] (solutions [pdf])
- Homework 5, due 10/6/2005 [tex][pdf] (solutions [pdf])
- Homework 6, due 10/27/2005 [tex][pdf]
- Homework 7, due 11/3/2005 [tex][pdf]
- Homework 8, due 11/10/2005 [tex][pdf]
- Homework 9, due 11/17/2005 [tex][pdf] For typesetting inference rules: [proof.sty]
- Homework 10, due Tuesday, 11/29/05 [tex][pdf]
Note: This assignment has been revised since it was
posted on 11/18, to correct typos in problem 5.)
- Homework 11, due our last day of class -- cancelled.