Fall 2008

Math 570 / LGIC 310 / PHIL 006 / PHIL 506, MW 10:30-12, DRL 2N36

Introduction to Logic and Computation

Professor Andre Scedrov


Office: Room 4E6 in David Rittenhouse Laboratory
Telephone: eight five nine eight three ( Math. Dept. Office: eight eight one seven eight )
Fax: three four zero six three
E-mail: lastname at math
Office Hours: By appointment


About This Course

From Encyclopaedia Britannica: Gödel's proof, which states that within any rigidly logical mathematical system there are propositions (or questions) that cannot be proved or disproved on the basis of the axioms within that system; that is, such a system cannot be proved simultaneously to be complete and consistent. This proof has become a hallmark of 20th-century mathematics, and its repercussions continue to be felt and debated.


Textbook


Topics

Chapters 0 - 3 from Enderton:


Homework Due in Class on Wednesday, September 24

The following problems from Enderton, 2-nd edition:

This is the complete list of assignments due September 24, 2008.


Homework Due in Class on Monday, October 6

The following problems from Enderton, 2-nd edition:

In addition, also prove the following: This is the complete list of assignments due October 6, 2008.


Take-Home Midterm Due in Class on Wednesday, October 29

The following problems from Enderton, 2-nd edition:

This is the complete list of take-home midterm assignments due in class on Wednesday, October 29, 2008.


Take-Home Final Exam Due in DRL 4E6 at 11 am on Monday, December 15

The following problems from Enderton, 2-nd edition:

This is the complete list of take-home final exam assignments due in DRL 4E6 at 11 am on Monday, December 15.