Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques. (https://www.cs.stonybrook.edu/students/Undergraduate-Studies/courses/CSE215)

Prerequisites: AMS 151 or MAT 125 or MAT 131

The following are the official course goals agreed upon by the faculty for this course:

- An ability to define and use discrete structures such as functions, relations, and sets.
- An ability to compute with recursion as a basic paradigm.
- An ability to use logic and basic proof techniques, such as mathematical induction.

- Introduction: sets, functions, logic
- Functions
- Recursive Functions
- Programming in Standard ML
- Inductive Definitions of Sets
- Examples of Induction Proofs
- Binary Relations
- Equivalence Relations
- Cardinality of Sets
- Countability and Uncountability
- Propositional Logic
- Formal Reasoning
- Predicate Logic and Quantifiers

214 New Computer Science Department, Stony Brook University

Office hours: Tuesdays 11:30AM-1:00PM & Thursdays 2:30PM-4:00PM

Phone: 1 (631) 632-9820

Email: paul.fodor@stonybrook.edu

Class email (forwarded to all the instructors, faster response): cse215ta@cs.stonybrook.edu

- Lecture section 2: Tuesdays and Thursdays 4:00PM - 5:20PM, Engineering 143.
- Recitation section 8: Tuesdays 5:30PM - 6:23PM, Frey Hall 112.
- Recitation section 9: Thursdays 5:30PM - 6:23PM, Melville Lbr N4000.
- Recitation section 10: Tuesdays 7:00PM - 7:53PM, Chemistry 126.
- Recitation section 11: Thursdays 7:00PM - 7:53PM, Physics P117.
- Recitation section 12: Mondays 10:00AM - 10:53AM, Melville Lbr N3063.

Discrete Mathematics: Introduction to Mathematical Reasoning. Author: Susanna S. Epp. Publisher: Brooks Cole; 1st edition (February 7, 2011). ISBN-10: 0495826170. ISBN-13: 978-0495826170.

- Homework, project, quizzes and labs -- 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.

- Midterm exam 1: Thursday, 3/03/2016, 4:00PM - 5:20PM, Engineering 143.
- Midterm exam 2: Thursday, 4/14/2016, 4:00PM - 5:20PM, Engineering 143.
- Final exam: Monday, May 16, 2016, 2:15PM - 4:15PM, in Engineering 143.

**The Pass/No Credit (P/NC) option is not available for this course.**

This policy applies to *all* CSE/ISE undergraduate courses
used to satisfy the graduation requirements for the major.

**Grade Cutoffs**

A [95-100], A- [90-95), B+ [85-90), B [80-85), B- [75-80), C+ [70-75), C [65-70), C- [60-65), D+ [55-60), D [50-55), F [0-50)

* SPECIAL RULE:* If all your grades, including homework assignments, quizzes, recitation and your three exam grades are above the respective class averages, you're guaranteed to receive a grade of C or higher for this class.

There will be extra credit as a part of quizzes and homework assignments which values to an increase of less than 4% in the final grade.

There will be in-class quizzes / brief assessments used to practice the class material and measure growth in knowledge, abilities, and skills. They will be solved in class and they are valued 2 points each.

The grades will be posted on Blackboard: http://blackboard.stonybrook.edu for privacy reasons.

Week | Lecture Topics |
---|---|

1 | Course Introduction; Propositional Logic |

2 | Propositional Logic |

3 | The Logic of Quantified Statements |

4 | Elementary Number Theory and Methods of Proof |

5 | Elementary Number Theory and Methods of Proof |

6 | Review Session and Midterm Exam 1 |

7 | Sequences and Mathematical Induction |

8 | Spring Break |

9 | Set Theory |

10 | Set Theory |

11 | Functions |

12 | Review Session and Midterm Exam 2 |

13 | Recursion |

14 | Functional Programming (ML) |

15 | Relations |

16 | Relations; Final Exam Review |

If you have a physical, psychological, medical or learning disability that may impact your course work, please contact Disability Support Services, ECC (Educational Communications Center) Building, room 128, (631) 632-6748. They will determine with you what accommodations, if any, 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 website: http://www.stonybrook.edu/ehs/fire/disabilities

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. Faculty are required to report any suspected instances of academic dishonesty to the Academic Judiciary. Faculty in the Health Sciences Center (School of Health Technology & Management, Nursing, Social Welfare, Dental Medicine) and School of Medicine are required to follow their school-specific procedures. For more comprehensive information on academic integrity, including categories of academic dishonesty, please refer to the academic judiciary website at http://www.stonybrook.edu/commcms/academic_integrity/index.html

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. Faculty in the HSC Schools and the School of Medicine are required to follow their school-specific procedures.