Spring 2012

Mathematical logic lays the foundation of mathematics, and has pervasive applications in computer science, such as programming language, hardware/software verification and synthesis, artificial intelligence, etc. This course aims at introducing the fundamental elements of mathematical logic and at covering selected applications in computer science.

Textbooks:

H. Enderton. A Mathematical Introduction to Logic, Academic Press, 2002.

J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types, Cambridge University Press, 1990.

Reference book:

V. Chandru and J. Hooker, Optimization Methods for Logical Inference, John Wiley & Sons, Inc., 1999.
M. Fitting, First-Order Logic and Automated Theorem Proving, Springer, 1996.

See also the course syllabus.