Logic In Computer Science

CSCI-GA.2390-001


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.

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

Bud Mishra
May 1 2013