Syllabus for Course:
Course Prerequisites: Basic Algorithms and High-Level Languages.
-
Propositional Logic & Applications (3 lectures)
-
First-Order Logic: Syntax and Semantics; Proof and Deduction;
Soundness and Completeness; Compactness and Models; Theories &
Applications (6 Lectures)
-
Undecidability: Introduction; Representability & Godel's
Incompleteness Theorem (3 Lectures)
- Second-Order Logic, Resolution, Many-Sorted Logic (1 Lecture)
Temporal Logic and Model Checking (1 Lecture)
Text Books
Required Textbook:
Mathematical Logic, Joseph R. Shoenfield,
Publisher: A K Peters/CRC Press; 1st edition (January 15, 2001)
ISBN-10: 1568811357; ISBN-13: 978-1568811352
Recommended Textbook:
Roads to Infinity: The Mathematics of Truth and Proof, John
C. Stillwell,
Publisher: A K Peters/CRC Press (July 13, 2010),
ISBN-10: 1568814666; ISBN-13: 978-1568814667.
Midterm Date: