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: Monday and Friday: 3:30 - 5:00 PM, or by appoinment
Email: christopher.kane@stonybrook.edu
| Week | Date | Lecture Topics/Notes | Readings |
| 1 | Mon. 08/22 | Introduction | n/a |
| Fri. 08/26 |
Propositional Logic Homework 01 Assigned |
Chapter 2 | |
| 2 | Mon. 08/29 | Propositional Logic | Chapter 2 |
| Fri. 09/02 | Propositional Logic | Chapter 2 | |
| 3 | Mon. 09/05 | LABOR DAY - NO CLASS | n/a |
| Fri. 09/09 | Propositional Logic | Chapter 2 | |
| 4 | Mon. 09/12 |
Predicate Logic Homework 01 Due Homework 02 Assigned |
Chapter 3 |
| Fri. 09/16 | Predicate Logic | Chapter 3 | |
| 5 | Mon. 09/19 |
Proof Techniques Homework 02 Due Homework 03 Assigned |
Chapter 4 |
| Fri. 09/23 | Proof Techniques | Chapter 4 | |
| 6 | Mon. 09/26 | Proof Techniques | Chapter 4 |
| Fri. 09/30 | Proof Techniques | Chapter 4 | |
| 7 | Mon. 10/03 |
Midterm 01 Review Homework 03 Due |
n/a |
| Fri. 10/07 | Midterm 01 | n/a | |
| 8 | Mon. 10/10 | Fall Break - No Class | Chapter 5 |
| Fri. 10/14 |
Sequences (Recursion and Mathematical Induction) Homework 04 Assigned |
Chapter 5 | |
| 9 | Mon. 10/17 | Sequences (Recursion and Mathematical Induction) | Chapter 5 |
| Fri. 10/21 | Sequences (Recursion and Mathematical Induction) | Chapter 5 | |
| 10 | Mon. 10/24 | Sequences (Recursion and Mathematical Induction) | Chapter 5 |
| Fri. 10/28 |
Sets Homework 04 Due Homework 05 Assigned |
Chapter 6 | |
| 11 | Mon. 10/31 | Sets | Chapter 6 |
| Fri. 11/04 |
Functions Homework 05 Due Homework 06 Assigned |
Chapter 7 | |
| 12 | Mon. 11/07 | Functions | Chapter 7 |
| Fri. 11/11 | Functions | Chapter 7 | |
| 13 | Mon. 11/14 | Functions | Chapter 7 |
| Fri. 11/18 |
Midterm 02 Review Homework 06 Due |
n/a | |
| 14 | Mon. 11/21 | Midterm 02 | n/a |
| Fri. 11/25 | Thanksgiving Break - No Class | Chapter 8 | |
| 15 | Mon. 11/28 | Relations Homework 07 Assigned |
Chapter 8 |
| Fri. 12/02 | Relations | Chapter 8 | |
| 16 | Mon. 12/05 |
Final Review Homework 07 Due |
n/a |
| Final | FINAL EXAM: Monday, December 12th, 2022, 2:15 - 5:00 PM |