Introduction to Mathematical Logic (CS202) course homepage

Course Contents

Propositional logic syntax and semantics. Tautologies, axiom system and deduction. Proof of soundness and completeness. First order logic syntax and semantics. Structures, models, satisfaction and validity. Proof system, soundness and completeness. Some additional topics if time permits.

Online material

• Madhavan's Lecture notes. These lecture notes covers much more than what we hope to do in this course.

Books

H. D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic (2nd edition). Undergraduate Texts in Mathematics, Springer-Verlag, 1984.

H. B. Enderton: A Mathematical Introduction to logic, Academic Press, 2001.

Last modified on 24 February, 2011 (Thursday)