**Lecturers:**-
Professor
B. Mishra

Office Hours: Mon 2:00 PM - 2:45 PM

Office Phone: 212.998.3464

Email Address: mishra@nyu.edu

**Day and Time:**- Tuesday, 5:00 PM - 6:50 PM EST, Room 201, WWH.

**Credits for Course:**- 3

**Home Works:**

**Quizzes & Solutions:**

**Lectures:**[ Lectures 0 & 1 || Lecture 2 || Lecture 3 || Lecture 4 || Lecture 5 || Lecture 6 || Lecture 7 || Lecture 8 ]

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

May 1 2012