80-310/610

Fall 2017 |

Steve Awodey |

TR 12 - 1:20 |

Baker Hall A53 |

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, 21-127, 15-251, or consent of the instructor.

- (Aug 29) Class begins! Watch this space for future updates.
- (Aug. 31) Here is a handout on set theory.
- (Aug. 31) Homework 1 is available here. It is due in class on September 7.
- (Aug. 31) Here is a handout on induction and recursion.
- (Sept. 7) No recitation this week. The first recitation will be next week, time and place TBA.
- (Sept. 7) Homework 2 is available. It is due in class on September 14.
- (Sept. 14) Prof. Awodey's office hour for this week, Sept. 15, is cancelled.
- (Sept. 14) Recitations begin today and will henceforth be Th 3-4:30 in DH 2122.
- (Sept. 14) Homework 3 is available. It is due in class on September 21.
- (Sept. 19) It is not necessary to do problems 4 and 5 on HW 3 (we'll do them next week).
- (Sept. 21) Homework 4 is available. It is due in class on Thursday, Sept. 28.
- (Sept. 23) A typo on problem 1(b) of Homework 4 has been corrected, so please get this new version.
- (Sept. 29) Homework 5 is available. It is due in class on October 5.
- (Oct. 5) Homework 6 is available. It is due in class on October 12.
- (Oct. 12) There is no homework for this week. Instead, there is a practice midterm. It will not be scored.
- (Oct. 19) Midterm exam in class!
- (Oct. 21) Homework 7 is available. It is due in class October 26.
- (Oct. 26) Homework 8 is available. It is due in class on November 2.
- (Nov. 3) Homework 9 is available. It is due in class on November 9.
- (Nov. 9) Homework 10 is available. It is due in class on November 16.
- (Nov. 21) No homework this week (Happy Thanksgiving!).
- (Nov. 24) Homework 11 is available. It is due on Thursday, November 30. This is an optional homework set: only the 10 best HW scores will be counted.
- (Nov. 30) Here is a handout on cardinal numbers.
- (Nov. 30) A practice final exam is available. It will not be collected or scored.

Lectures | TR 12-1:20, BH A53 |
---|---|

Recitations | Th 3-4:30, DH 2122 |

Textbook | Logic and Structure, Dirk van Dalen, Springer 2013.
Available on-campus from this link. |

Credit | 9-12 units |

Grading | 50% Homework, 25% Midterm, 25% Final |

Homework | Weekly homework is posted here on Thursdays and due the following Thursday in class.
Homework should be turned in in-person, and will not be accepted by email. 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 |
Thursday, December 7, in class. 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/ |

Online Discussion | piazza.com/cmu/fall2017/80310 |

Office | Office Hours | Phone | |||
---|---|---|---|---|---|

Professor | Steve Awodey | BH 135F | F 11-12 | x8-8947 | awodey@cmu.edu |

TA | Farzaneh Derakhshan | DH 4301C | M 1:45-2:45 | xxx | fderakhs@andrew.cmu.edu |

TA | Naji Shajari | DH 4302B | M 3-4 | xxx | najis@cmu.edu |

TA | Colin Zwanziger | DH 4301C | W 3:30-4:30 | xxx | zwanzig@cmu.edu |

Admin. Asst. | Mary Grace Joseph | BH 161H | x8-9459 | mjoseph@andrew.cmu.edu |