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. *Prerequisite:* AMS 151 or MAT 125 or MAT 131

- Propositional and predicate logic
- Direct and indirect proof techniques
- Mathematical induction
- Recurrence relations
- Set theory
- Functions and relations

- An ability to define and use discrete structures such as functions 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.

- R05: Monday 9:00--9:53AM, FREY Hall 217 (TA: Kumar Kahatapitiya)
- R06: Wednesday 10:00--10:53 AM, FREY Hall 313 (TA: Rajat Pattada)
- R07: Wednesday 2:30--3:23 PM, FREY Hall 328 (TA: Jamie MacKay)
- R08: Monday 10:00--10:53 AM, FREY Hall 313 (TA: Eesha Gitay)

Discrete Mathematics: Introduction to Mathematical Reasoning (brief edition), 1st edition by Susanna S. Epp. Cengage Learning, 2011, ISBN 978-0495826170.

- Prof. Omkant Pandey
- Email: omkant@cs.stonybrook.edu
- New Computer Science Building 345

- Office Hours: Tuesdays & Thursdays, 11:30 AM--1 PM.

The graduate students listed below are responsible for grading the homework assignments. Please direct any and all homework grading concerns to your TA.

- Amol Damare, Email: adamare@cs.stonybrook.edu
- Kumar Kahatapitiya, Email: kkahatapitiy@cs.stonybrook.edu
- Rajat Pattada, Email: rpattada@cs.stonybrook.edu
- Eesha Gitay, Email: egitay@cs.stonybrook.edu

All office hours are held in ** Computer Science 2217 ** except where noted.

- Amol Damare TBA
- Kumar Kahatapitiya, MW, 10--11 AM
- Rajat Pattada, TuTh 12--1 PM
- Jamie MacKay, Tue 12--1 PM, and Wed 4 PM to 6 PM
- Eesha Gitay, Tue 3--5 PM

There will be one midterm examination and a cumulative final examination. Exams are open book and open notes. However, no access to electronic devices will be permitted during exams.

- Midterm Exam: Thursday, October 10th during class time
- Final Exam: TBA

Students will be assigned apporximately seven written problem sets for homework, which must be completed independently. Offering or accepting solutions from others is an act of plagiarism, which is a serious offense. All parties involved in academically dishonest behavior will be penalized according to the Academic Integrity Policy provided below.

Late submissions will not be accepted. No extensions will be granted.

Homework assignments must be completed in the LaTeX language that can be compiled into a PDF. Students will largely be responsible for learning LaTeX on their own, but the instructor will spend some time during the first week of the course teaching the basics. You can also use a PDF writer however this is strongly discouraged.

- Midterm Exam: 20%
- Final Exam: 30%
- Homework Assignments: 50%

Grades will be posted on Blackboard.

Due to possible variation in how strictly the grading TAs will grade their students' homework submissions, homework grades will be normalized to a common, course-wide scale before being used in computing final course grades.

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

1 | Course Introduction; Propositional Logic |

2 | Propositional Logic |

3 | Predicate Logic |

4 | Direct Proofs |

5 | Indirect Proofs |

6 | Midterm Exam |

7 | Sequences; Mathematical Induction |

8 | Spring Break |

9 | Mathematical Induction; Recurrences |

10 | Set Theory |

11 | Set Theory |

12 | Functions |

13 | Functions |

14 | Relations |

15 | Modular Arithmetic |

16 | Final Exam |

The College of Engineering and Applied Sciences (CEAS) offers a range of free tutoring services for students in CSE, AMS and other courses. See the CEAS Undergraduate Student Office website for more information. For small group and one-on-one tutoring please inquire also at the Academic Success and Tutoring Center.

**Note:** If you have a physical, psychological, medical or
learning disability that may impact on your ability to carry out
assigned course work, please contact the staff in the Disabled
Student Services office (DSS), Room 133, Humanities,
632-6748v/TDD. DSS will review your concerns and determine with
you what accommodations are necessary and appropriate. All
information and documentation of disability are confidential.

**Note:** 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. **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/.