Instructor: Dr. Paul Fodor
1437 Computer Science Building
Office hours (Fall 2012): Tuesdays&Thursdays 8:00AM-9:30AM and By Appointment
Phone: (631) 632-9820
Email: pfodor (at) cs (dot) stonybrook (dot) edu
A survey of the logical foundations of mathematics: development of propositional calculus and quantification theory, the notions of a proof and of a model, the completeness theorem, Gödel's incompleteness theorem. This course is offered as both CSE 371 and MAT 371.
Prerequisites: CSE 150 or CSE 215 or MAT 200.
Week | Date | Lecture Topics/Notes | Readings |
1 | Tu 8/28 | Administrative (course information) | n/a |
Th 8/30 | Introduction to logic | textbook ch. 1 | |
2 | Tu 9/4 | NO CLASSES (Labor Day Weekend) | n/a |
Th 9/6 | Propositional Logic | textbook ch. 2 | |
3 | Tu 9/11 | Propositional Languages | textbook ch. 3 |
Tu 9/11 | Add/Swap Deadline, Drop with a W | n/a | |
Th 9/13 | Classical Propositional Semantics | textbook ch. 4 | |
4 | Tu 9/18 | Classical Propositional Semantics (cont.) | n/a |
Th 9/20 | Some Extensional Many Valued Semantics | textbook ch. 5 | |
5 | Tu 9/25 | Some Extensional Many Valued Semantics (cont.) | n/a |
Th 9/27 | Classical Tautologies, Logical Equivalences, Definability of Connectives and Equivalence of Languages | textbook ch. 6 | |
6 | Tu 10/2 | Midterm review 1 | n/a |
Th 10/4 | MIDTERM EXAM 1 | n/a | |
7 | Tu 10/9 | General Proof Systems | textbook ch. 7 |
Th 10/11 | General Proof Systems (cont.) | n/a | |
8 | Tu 10/16 | Hilbert Proof Systems and Deduction Theorem | textbook ch. 8 |
Th 10/18 | Hilbert Proof Systems and Deduction Theorem (cont.) | n/a | |
9 | Tu 10/23 | Proofs of the Completeness Theorem | textbook ch. 9 |
Th 10/25 | Proofs of the Completeness Theorem (cont.) | n/a | |
10 | Tu 10/30 | Hurricane Sandy (school closed) | n/a |
Th 11/1 | Hurricane Sandy (school closed) | n/a | |
11 | Tu 11/6 | Proofs of the Completeness Theorem (cont.) | tbd |
Th 11/8 | Introduction to Intuitionistic Logic | textbook ch. 10 | |
12 | Tu 11/13 | Midterm Review | n/a |
Th 11/15 | MIDTERM EXAM 2 | n/a | |
13 | Tu 11/20 | Two Gentzen Style Proof Systems for Classical Logic | textbook ch. 11 |
Th 11/22 | NO CLASSES (Thanksgiving Break) | n/a | |
14 | Tu 11/27 | Gentzen Proof System for Intuitionistic Logic | textbook ch. 12 |
Th 11/29 | Predicate Languages | textbook ch. 13 | |
15 | Tu 12/4 | Predicate Languages (cont.) | textbook ch. 14 |
Th 12/6 | Final review | n/a | |
Final | Mo 12/17 | FINAL EXAM @ 11:15AM - 1:15PM in Earth&Space 069 | n/a |
Grades will be based on homework and exams according to the following formula:
- Homework assignments and quizes-- 25%
- Midterm exams (2) -- 40%
- Final exam -- 35%
Do not miss the exam. Make-up exams will be given only in extenuating circumstances (e.g., doctor's note stating that you were ill and unfit to take the exam). Students who miss an exam for a valid reason may need to take a make-up exam; specific arrangements will be made on a case-by-case basis.
The P/NC grading option is not available for this course.
The assignments and grades are posted on Blackboard: http://blackboard.stonybrook.edu.
Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Suspected instances of academic dishonesty will be reported to the CEAS Committee on Academic Standing and Appeals. More comprehensive information on academic integrity, including categories of academic dishonesty, can be found on the Academic Judiciary's web site.
If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact Disability Support Services at (631) 632-6748 or http://studentaffairs.stonybrook.edu/dss. They will review your concerns and determine, with you, what accommodations are necessary and appropriate. All information and documentation is confidential.
Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following web site: http://www.ehs.stonybrook.edu and search Fire Safety and Evacuation and Disabilities.
Stony Brook University expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Office of Judicial Affairs any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn.
Page maintained by Paul Fodor