CSE371/MAT371 - Fall 2012

Logic

http://www.cs.stonybrook.edu/~cse371


Course Information

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

Course Description

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.

Course Syllabus


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

CSE 371 / MAT 371Grading Schema

Grades will be based on homework and exams according to the following formula:

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.


Academic Integrity

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.

Disability Information

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.


Critical Incident Management

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