| Fall 2006 |
| Steve Awodey |
| TR 10:30 - 11:50 |
| Porter Hall 125C |
| 9-12 units |
An introduction to formal logic, with applications to computer science. Topics include inductively defined structures, the syntax and semantics of first-order logic, completeness, compactness, and the Loewenheim-Skolem theorems. Further topics may also include definability, nonstandard models of arithmetic, higher-order, intuitionistic, and modal logic.
Prerequisites: either 80-210, 80-211, 15-251, or consent of the instructor.
| Homework | |
|---|---|
| Handouts |
| Lectures | TR 10:30-11:50, PH 125C |
|---|---|
| Textbook | Logic and Structure, Dirk van Dalen, Springer 2004. |
| Credit | 9-12 units |
| Grading | 50% Homework, 25% Midterm, 25% Final |
| Homework | Weekly homework is assigned on Thursdays and due the
following Thursday
in class.
Late homework will be accepted only under exceptional circumstances. |
| Midterm |
Thursday, Oct 19, in class. Closed book, one two-sided sheet of notes permitted. |
| Final |
As scheduled during exam week. Closed book, one two-sided sheet of notes permitted. |
| Topics | Inductive definitions and proofs,
Syntax and semantics of propositional logic, Syntax and semantics of first-order logic, Elementary model theory, Higher-order, intuitionistic, and modal logic. |
| Homepage | http://www.andrew.cmu.edu/course/80-310-610/ |
| Office | Office Hours | Phone | |||
|---|---|---|---|---|---|
| Professor | Steve Awodey | BH 152 | F 11:00-12:00 | x8-8947 | awodey@cmu.edu |
| TA | Henrik Forssell Yimu Yin |
BH 138 BH 135F |
W 5-6:20, PH 226B | x8-9669 x8-8566 |
henrik@cmu.edu yimuy@andrew.cmu.edu |
| Admin. Asst. | Mauren Antkowski | BH 135 | x8-8568 | mauren@andrew.cmu.edu |