Course: CSE 215: Foundations of Computer Science

State University of New York at Stony Brook, Spring 2024

Classes
Section 02: MoWe 2:30PM - 3:50PM, LGT ENGR LAB 102 WESTCAMPUS
Instructor
Prof. Pramod Ganapathi
Email:
Office: Room 105, New Computer Science
Office hours: We 10AM-1PM
Recitations and TA's
Google sheets

Course Description
In this course, we will learn the part of mathematics that is extensively used in computer science. The topics covered include: logic (propositional logic and predicate logic), number theory, proof techniques, sequences, recursion, functions, relations, and sets.
Prerequisites
AMS 151 or MAT 125 or MAT 131.
Credits
4
Course Outcome
At the end of the course, the students should have the following knowledge and skills:
  • An ability to verify if a mathematical argument is valid (i.e., logical) and sound (i.e., truthful)
  • An ability to verify the correctness of proofs of some existing theorems and prove some new theorems
  • An ability to use mathematical concepts such as sequences, functions, relations, and sets in computing
Textbook
Grading
Course requirements and grading are as follows:
  • Homework: 25%
  • Midterms: 45%
  • Final: 30%
Grade cutoffs are as follows. Grade cutoffs might be adjusted at the end of the semester if curving is required.
  • A [93-100], A- [90-93), B+ [87-90), B [83-87), B- [80-83), C+ [77-80), C [73-77), C- [70-73), D+ [67-70), D [63-67), F [0-63)
The previous exam papers can be found here: The problems given in the assignments will be majorly from the textbook.
Homework
Homework will be posted on Brightspace. Homework must be written on plain sheets of paper, scanned using a good scan app, and a single scanned PDF must be submitted on Brightspace. The PDF must have the student ID as the file name. Late submissions will not be graded for any reason (including oversleeping, forgetting, PC issues, technical issues, Brightspace issues, traveling, etc), except extenuating situations. It is strongly recommended to submit at least one version three days before the deadline. A student can submit an infinite number of versions of the answer sheets PDF to the Brightspace. We only evaluate the last/final version of the solutions PDF uploaded on Brightspace before the deadline.

Students who submit the first version of their homework at the exact deadline or after the deadline (even a nanosecond later), will receive 0. Because, we do not consider the time at which a homework was submitted by the student, we consider the time at which the homework was successfully up on Brightspace (with all pages in human-readable form) and it takes a few seconds/minutes to upload on Brightspace. If Brightspace flags the homework as late, it is late. It is the student's responsibility to verify whether the document was successfully submitted on Brightspace or not. Hence, it is strongly recommended to submit the homework multiple times starting from a few days before the deadline.

Grade/regrade requests deadline is 1 week after getting the homework/exam results on Brightspace. Any grade/regrade requests after this deadline will not be considered. Each student is assigned a TA. The grade/regrade requests must be made only to the assigned TA.
Makeup Exams
The two midterm exams and the final exam will be closed-book, closed-notes, closed-computers, and closed-calculators exams. The exams will be in person and will be proctored. Makeup exams will not be given for any reason (including oversleeping, forgetting, PC issues, technical issues, Brightspace issues, traveling, etc), except in the cases of medical emergencies (with documentation -- e.g. USA doctor's non-electronic signed note with all contact details/information stating that the student was ill and unfit to take the exam) and on the discretion of the instructor based on a case-by-case basis; student participation in university sponsored events (with documentation); and religious absences (with documentation). Students who miss an exam for an undeniably valid reason need to take a make-up exam; specific arrangements will be made on a case-by-case basis. Students who miss an exam must either give advanced notice (e.g. broke leg the previous day) with evidence or must report as soon as possible (e.g. met with an accident or medical emergency) with evidence. Students who miss exams for unimportant reasons (oversleeping, technical issues, transportation problems, family/friend functions, etc) will not be given make-up exams. Students are expected to abide by all standard examination rules and obey instructors/TA's at all times during the exams.
Attendance
Students are expected to attend every class, report for examinations and submit major graded coursework as scheduled. If a student is unable to attend lecture(s), report for any exams or complete major graded coursework as scheduled due to extenuating circumstances, the student must contact the instructor as soon as possible. Students may be requested to provide documentation to support their absence and/or may be referred to the Student Support Team for assistance. Students will be provided reasonable accommodations for missed exams, assignments or projects due to significant illness, tragedy or other personal emergencies. In the instance of missed lectures or recitations, the student is responsible for reviewing posted slides, reviewing recorded lectures, seeking notes from a classmate, etc. Please note, all students must follow Stony Brook, local, state and Centers for Disease Control and Prevention (CDC) guidelines to reduce the risk of transmission of COVID.
Additional Resources

Academic calendar
Recorded video lectures can be accessed through Google Drive Link using @stonybrook.edu email account.
Date
Class Schedule
Slides
Study
Notes
Jan 22 Introduction (Course Info) [PDF][PDF] [DM, Ch. 1] Map of Math, Map of CS
Jan 24 [HW 1]
Jan 29
Jan 31
Feb 05
Logic → Propositional Logic [PDF] [DM, Ch. 2] Take-home lesson: Logical thinking
Feb 07 [HW 2, HW 1 due]
Feb 12
Logic → Predicate Logic [PDF] [DM, Ch. 3]
Feb 14 [HW 3, HW 2 due]
Feb 19
Feb 21
Proof Techniques [PDF] [DM, Ch. 4] Take-home lesson: Proof-style thinking
Feb 26 [HW 3 due] Midterm I Review
Feb 28 Midterm I Time: Class time, Venue: Class, Syllabus: [DM, Ch. 1-4] + Logic circuits
Mar 04 [HW 4]
Mar 06
Mar 18
Mar 20
Sequences (Induction and Recursion) [PDF] [DM, Ch. 5] Take-home lesson: Recursive thinking
Mar 25 [HW 5, HW 4 due]
Mar 27
Sets [PDF] [DM, Ch. 6]
Apr 01 [HW 6, HW 5 due]
Apr 03
Apr 08
Apr 10
Functions [PDF] [DM, Ch. 7] Take-home lesson: Input-output thinking
Apr 15 [HW 6 due] Midterm II Review
Apr 17 Midterm II Time: Class time, Venue: Class, Syllabus: [DM, Ch. 5-7]
Apr 22 [HW 7]
Apr 24
Relations [PDF] [DM, Ch. 8]
Apr 29 [HW 7 due] Final Review
May 01 Career & Personality Development
May 15 (We) Final Time: 2:15-5:00 PM, Venue: Class, Schedule
Syllabus: [DM, Ch. 1-8, except Sec. 8.5]

Academic Integrity
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 https://www.stonybrook.edu/commcms/academic_integrity/.
Students are allowed/encouraged to:
  • learn the subject from any book/website/video/resource in the world
  • contact TAs/instructor to understand the subject matter
  • discuss generic ideas and concepts related to the subject with friends/classmates
Students are NOT allowed to:
  • search for solutions for the homework/exam questions on books/websites/videos/resources
  • discuss the homework/exam questions with friends/classmates/seniors
  • copy homework/exam solutions from Internet/books/friends/classmates/seniors
Student Accessibility Support Center
If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact the Student Accessibility Support Center, Stony Brook Union Suite 107, (631) 632-6748, or at sasc@Stonybrook.edu. They will determine with you what accommodations 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 the Student Accessibility Support Center. For procedures and information go to the following website: https://ehs.stonybrook.edu//programs/fire-safety/emergency-evacuation/evacuation-guide-disabilities and search Fire Safety and Evacuation and Disabilities.
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 University Community Standards any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn. Further information about most academic matters can be found in the Undergraduate Bulletin, the Undergraduate Class Schedule, and the Faculty-Employee Handbook. Until/unless the latest COVID guidance is explicitly amended by SBU, during Fall 2021 ''disruptive behavior'' will include refusal to wear a mask during classes.