Logic In Computer Science

CSCI-GA.2390-001

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

Bud Mishra
January 1 2011