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 Textbooks:
1) Mathematical Logic, Joseph R. Shoenfield,
Publisher: A K Peters/CRC Press; 1st edition (January 15, 2001)
ISBN-10: 1568811357; ISBN-13: 978-1568811352
2) A Mathematical Introduction to Logic, Second Edition, Herbert Enderton
Publisher: Academic Press; 2 edition (January 5, 2001)
ISBN-10: 0122384520; ISBN-13: 978-0122384523
Midterm Date: