Fall 2016 
Steve Awodey 
TR 12  1:20 
Margaret Morrison A14 
912 units 
An introduction to formal logic, with applications to computer science. Topics include inductively defined structures, the syntax and semantics of firstorder logic, completeness, compactness, and the LoewenheimSkolem theorems. Further topics may also include definability, nonstandard models of arithmetic, higherorder, intuitionistic, and modal logic.
Prerequisites: either 80210, 80211, 21127, 15251, or consent of the instructor.
Lectures  TR 121:20, MM A14  

Recitations  F 34:30, DH 4303  
Textbook  Logic and Structure, Dirk van Dalen, Springer 2013.  
Credit  912 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 inperson, and will not be accepted by email. Late homework will be accepted only under exceptional circumstances. 

Midterm 
Thursday, Oct 13, in class. Closed book, one twosided sheet of notes permitted. 

Final 
Thursday, December 8, in class. Closed book, one twosided sheet of notes permitted. 

Topics  Inductive definitions and proofs,
Syntax and semantics of propositional logic, Syntax and semantics of firstorder logic, Elementary model theory, Higherorder, intuitionistic, and modal logic. 

Homepage  http://www.andrew.cmu.edu/course/80310610/  
Online Discussion  piazza.com/cmu/fall2016/80310 
Office  Office Hours  Phone  

Professor  Steve Awodey  BH 135F  M 1112  x88947  awodey@cmu.edu 
TA  Will Nalls  DH 4302C  Tue 23  xxx  will.nalls@googlemail.com 
TA  Sam Speight  DH 4302E  Thu 34  xxx  sspeight@andrew.cmu.edu 
TA  Colin Zwanziger  DH 4302E  Wed 34  xxx  zwanzigerc@gmail.com 
Admin. Asst.  Mary Grace Joseph  BH 161H  x89459  mjoseph@andrew.cmu.edu 