## 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).

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.

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.

## 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.