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.


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


Textbook

Anita Wasilewska, Logic for Computer Science, 2012, Distributed to Students.


Major Topics Covered in Course


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:

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.