Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion; elementary logic; and mathematical induction and other proof techniques.
(https://www.cs.stonybrook.edu/students/Undergraduate-Studies/courses/CSE215)
Instructor: Dr. Christopher Kane
Office: New Computer Science Building, Rm. 107
Office hours: MW: 4:30 - 5:30 PM, TR: 3:30 - 4:30 PM, or by appointment
Email: christopher.kane@stonybrook.edu
| Week | Date | Lecture Topics/Notes | Readings |
| 1 | Tue. 02/02 | Snow Day | n/a |
| Thu. 02/04 | Propositional Logic [Homework 01 Assigned] | Chapter 2 | |
| 2 | Tue. 02/09 | Propositional Logic | Chapter 2 |
| Thu. 02/11 | Propositional Logic | Chapter 2 | |
| 3 | Tue. 02/16 | Propositional Logic | Chapter 2 |
| Thu. 02/18 | Predicate Logic [Homework 01 Due (Sunday, 2/21); Homework 02 Assigned] | Chapter 3 | |
| 4 | Tue. 02/23 | Predicate Logic | Chapter 3 |
| Thu. 02/25 | Proof Techniques [Homework 02 Due (Friday, 2/26); Homework 03 Assigned] | Chapter 4 | |
| 5 | Tue. 03/02 | Proof Techniques | Chapter 4 |
| Thu. 03/04 | Proof Techniques | Chapter 4 | |
| 6 | Tue. 03/09 | Proof Techniques | Chapter 4 |
| Thu. 03/11 | Midterm 01 Review [Homework 03 Due (Friday, 3/12)] | n/a | |
| 7 | Tue. 03/16 | Midterm 01 | n/a |
| Thu. 03/18 | Sequences (Recursion and Mathematical Induction) [Homework 04 Assigned] | Chapter 5 | |
| 8 | Tue. 03/23 | Sequences (Recursion and Mathematical Induction) | Chapter 5 |
| Thu. 03/25 | Sequences (Recursion and Mathematical Induction) | Chapter 5 | |
| 9 | Tue. 03/30 | Sequences (Recursion and Mathematical Induction) | Chapter 5 |
| Thu. 04/01 | Sets [Homework 04 Due (Friday, 04/02); Homework 05 Assigned] | Chapter 6 | |
| 10 | Tue. 04/06 | Sets | Chapter 6 |
| Thu. 04/08 | Functions [Homework 05 Due (Friday, 04/09); Homework 06 Assigned] | Chapter 7 | |
| 11 | Tue. 04/13 | Functions | Chapter 7 |
| Thu. 04/15 | Functions | Chapter 7 | |
| 12 | Tue. 04/20 | Functions | Chapter 7 |
| Thu. 04/22 | Midterm 02 Review [Homework 06 Due (Friday, 04/23)] | n/a | |
| 13 | Tue. 04/27 | Midterm 02 | n/a |
| Thu. 04/29 | Relations [Homework 07 Assigned] | Chapter 8 | |
| 14 | Tue. 05/04 | Relations | Chapter 8 |
| Thu. 05/06 | Final Review [Homework 07 Due (Friday, 05/07)] | n/a | |
| Final | FINAL EXAM: Monday, May 17th, 2021, 11:15 AM - 1:45 PM |