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: Thursday: 4:00-6:00 PM; Friday: 3:30-5:00 PM; or, by appoinment
Email: christopher.kane@stonybrook.edu
| Week | Date | Lecture Topics/Notes | Readings |
| 1 | Mon. 01/23 | Introduction | Chapter 1 |
| Fri. 01/27 | Propositional Logic Homework 01 Assigned |
Chapter 2 | |
| 2 Recitation 01 |
Mon. 01/30 | Propositional Logic | Chapter 2 |
| Fri. 02/03 | Propositional Logic | Chapter 2 | |
| 3 Recitation 02 |
Mon. 02/06 | Propositional Logic | Chapter 2 |
| Fri. 02/10 | Predicate Logic Homework 01 Due Homework 02 Assigned |
Chapter 3 | |
| 4 Recitation 03 |
Mon. 02/13 | Predicate Logic |
Chapter 3 |
| Fri. 02/17 | Proof Techniques Homework 02 Due Homework 03 Assigned |
Chapter 4 | |
| 5 Recitation 04 |
Mon. 02/20 | Proof Techniques | Chapter 4 |
| Fri. 02/24 | Proof Techniques | Chapter 4 | |
| 6 Recitation 05 |
Mon. 02/27 | Midterm 01 Review Homework 03 Due: Wednesday, 03/01/2023 |
n/a |
| Fri. 03/03 | Midterm 01 | Covers: Ch.1 - Ch. 4 + Logic Circuits | |
| 7 Recitation 07 |
Mon. 03/06 |
Sequences (Recursion and Mathematical Induction) Homework 04 Assigned |
Chapter 5 |
| Fri. 03/10 | Sequences (Recursion and Mathematical Induction) | Chapter 5 | |
| 8 | Mon. 03/13 | Spring Break - No Class | n/a |
| Fri. 03/17 | Spring Break - No Class | n/a | |
| 9 Recitation 08 |
Mon. 03/20 | Sequences (Recursion and Mathematical Induction) | Chapter 5 |
| Fri. 03/24 | Sequences (Recursion and Mathematical Induction) | Chapter 5 | |
| 10 Recitation 09 |
Mon. 03/27 | Sets Homework 04 Due Homework 05 Assigned |
Chapter 6 |
| Fri. 03/31 | Sets | Chapter 6 | |
| 11 Recitation 10 |
Mon. 04/03 | Functions Homework 05 Due Homework 06 Assigned |
Chapter 7 |
| Fri. 04/07 | Functions | Chapter 7 | |
| 12 Recitation 11 |
Mon. 04/10 | Functions | Chapter 7 |
| Fri. 04/14 | Functions | Chapter 7 | |
| 13 Recitation 12 |
Mon. 04/17 | Midterm 02 Review Homework 06 Due |
n/a |
| Fri. 04/21 | Midterm 02 | Covers: Ch. 5 - Ch. 7 | |
| 14 Recitation 13 |
Mon. 04/24 | Relations Homework 07 Assigned |
Chapter 8 |
| Fri. 04/28 | Relations | Chapter 8 | |
| 15 Recitation 14 |
Mon. 05/01 | Final Review Homework 07 Due |
n/a |
| Fri. 05/05 | TBD | n/a | |
| Final | FINAL EXAM: Monday, May 15th, 2023, 2:15 - 5:00 PM | Covers: Ch. 1 - Ch. 8 |