Formal Logic
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.


News


Course Information

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


Teaching Staff

    Office Office Hours Phone Email
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

awodey@cmu.edu
Steve Awodey