Mathematical Logic


Instructor:
Yijia Chen

Time:
12:55 - 15:40 Friday

Textbook:
Mathematical Logic, H. -D. Ebbinghuas, J. Flum, and W. Thomas, Springer, Second Edition, 2008.




Lecture Notes:
(1) 11/09 Syntax of FO
(2) 18/09 Semantics of FO (I)
(3) 25/09 Semantics of FO (II)
(4) 09/10 Semantics of FO (III)
(5) 16/10 Sequent Calculus (I)
(6) 23/10 Sequent Calculus (II)
(7) 30/10 Completeness (I)
(8) 6/11 Completeness (II)
(9) 13/11 Completeness (III), the Löwenheim-Skolem Theorem and the Compactness Theorem
(10) 27/11 The Löwenheim-Skolem Theorem and the Compactness Theorem, Decidability and Enumerability (I)
(11) Decidability and Enumerability (II)
(12) The Undecidability of Arithmetic (I)


Further Reading:

Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion Kolaitis, Moshe Y. Vardi, and Victor Vianu.
On the Unusual Effectiveness of Logic in Computer Science. Bulletin of Symbolic Logic. 2001.

Back


Yijia Chen, last modified: 10. 12. 2020