CSE/MAT 371 - Fall 2012 - Syllabus
Logic
http://www.cs.stonybrook.edu/~cse371
Course Objectives and 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.
Official Course Outcomes
The following are the official course goals agreed upon by the faculty for this course.
- An understanding of classical propositional and predicate logic, including a full development of syntax, semantics, and proof techniques.
- An understanding of semantic and syntactic concepts, e.g., truth versus proof, by exploring the soundness and completeness of calculi for these logics.
- An ability to apply abstract reasoning skills through experience with formal proofs.
- A working knowledge of non-classical logics and their use in Computer Science.
Staff
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
Prerequisites
CSE 150 or CSE 215 or MAT 200
Class Time/Place
- Lectures: TuTh 2:30PM - 3:50PM, Earth&Space 069
Textbook
Anita Wasilewska, Logic for Computer Science, 2012, Distributed to Students.
Major Topics Covered in Course
- Syntax and Semantics for Classical and various non-classical propositional logics.
- Two proofs of Completeness Theorem for classical propositional Logic.
- Automated Theorem proving systems for classical, intuitioinistic amd modal S4, S5 logics.
- Constructive Completeness Theorem proofs.
- First Order Classical Logic; syntax and semantics.
- Proof of Completeness Theorem.
- Formal Theories based on first order logic; Peano Arithmetic.
- Discussion of Godel Incompleteness and Inconsistency results.
Final Examinations
Monday 12/17 @ 11:15AM - 1:15PM in Earth&Space 069
(see rules in http://www.stonybrook.edu/registrar/finals.shtml).
Grading Schema
Grades will be based on homework and exams
according to the following formula:
-
Homework assignments and quizes -- 25%
-
Midterm exams (2) -- 40% (20% each)
-
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 Pass/No Credit (P/NC) option is not available for this course.
This policy applies to all CSE undergraduate courses
used to satisfy the graduation requirements for the major.
The grades will be posted on Blackboard: http://blackboard.stonybrook.edu for privacy reasons.
Homework
There will be homework assignments given regularly.
Submission of the homework will be ONLY as a paper homework or a printout of the specified material at the beginning of the class on the due date.
The homework assignments are to be completed individually in the alotted time.
No Late Submissions Are Allowed. No makeup homework will be given.
The homework assignments will be posted on Blackboard: http://blackboard.stonybrook.edu.
Re-grading
For re-grading of an assignment or exam, please meet with the person (instructor or teaching
assistant) responsible for the grading. Please try to arrange a re-evaluation within one week of receiving
the graded work. All such requests that are later than one week from the date the graded work is returned
to the class will not be entertained.
To promote consistency of grading, questions and concerns about grading should be addressed first to the TA and then, if that does not resolve the issue, to the instructor. You are welcome to contact the TA by email or come to his office hour. If you would like to speak with the TA in person, and have a schedule conflict with his office hour, you are welcome to make an appointment to meet the TA at another time.
Academic Dishonesty
You are encouraged to discuss the intellectual aspects of assignments with other
class participants. However, each student is responsible for formulating solutions in his or her own words.
A 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. Any suspected instance of academic dishonesty will be reported to the Academic Judiciary. For more comprehensive information on
academic integrity, including categories of academic dishonesty, please refer to the academic judiciary
website at
http://www.stonybrook.edu/uaa/academicjudiciary
Academic Dishonesty Penalty: Students
who submit the same or suspiciously similar assignments will receive a grade of zero on the particular
assignment and have their final course grade reduced by one letter grade. In addition, the College of
Engineering & Applied Sciences has formal procedures to handle cases of academic dishonesty.
Disability Information
If you have a physical, psychological, medical or learning disability that may impact on your
ability to carry out assigned course work, I would urge that you contact the staff i n the Disabled Student
Services office (DSS), Room 128 ECC, 632-6748/TDD. DSS will review your concerns and determine,
with you, what accommodations are necessary and appropriate. All information and documentation of
disability is confidential. Important: If you are planning to take exams at the DSS office, you need to tell
me ahead of time for every exam.
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.