CSE 215-02 - Foundations of Computer Science

Fall, 2022

Syllabus


If you are not registered but want to attend the class, email the instructor to receive an invitation to the Zoom Meeting. Email address included below.


Course Description

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)

Staff

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


Class Time and Place

  • Monday/Friday: 1:00 - 2:20 PM
  • Engineering, Rm. 145

Lecture Notes and Reading Assignments

The following schedule is tentative and subject to change. The homework assignments are posted on Blackboard: http://blackboard.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

Additional Resources
Last Update: January 23, 2022
Page maintained by Christopher Kane