**Lecturers:**-
Professor
B. Mishra

Office Hours: Mon 1:30 PM - 2:30 PM

Office Phone: 212.998.3464

Email Address: mishra@nyu.edu

**Day and Time:**- Tuesday, 5:10 PM - 7:00 PM EST, Room 312, WWH.

**Credits for Course:**- 3

**Home Works:**[ Home Work 1 |.| Home Work 2 |.| Home Work 3 ]

**Projects:**[ Project 1 |.| Prolog Notes (From Cory Plock's Programming Languages Class; Text is rotated; Apologies.) ]

**Reading:**[ Tarski's Paper ]

**Quizzes & Solutions:**[ Quiz 1 with solution || Quiz 2 with solution || Quiz 3 with solution || Quiz 4 with solution || Quiz 5 with solution || Quiz 6 with solution || Quiz 7 with solution ]

**Lectures:**[ Lectures 1 || Lecture 2 || Lecture 3 || Lecture 4 || Lecture 5 || Lecture 6 || Lecture 7 || Lecture 8 || Lecture 9 || Lecture 10 || Lecture 11 || Lecture 12 ]

**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:**- TBA
**Final Date:**- TBA
**Homework(s):**- TBA

May 1 2013