**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:**- Monday, 5:00 PM - 6:50 PM EST, Room 312, WWH.

**Credits for Course:**- 3

**Home Works:**

[ Home Work 1 |.| Home Work 2 ]

**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) || Quiz 8 (with Solution) || Quiz 9 (with Solution) || Quiz 10 (with Solution) || Quiz 11 (with Solution) ] Reading: October 31: Enderton: S 2.0 -- 2.4 (First Order Logic) || Shoenfield Ch 2 (First Order Theories)**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

January 1 2011