CSCI 135 / Fall 2021
Discrete Structures
This schedule is subjected to change as the term progresses.
Week | Dates | Chapter | Topic | Homework and Quizzes |
1 | 9/2 9/3 |
Ch. 0 | Introduction | No Homework Due |
2 | 9/7 9/9 9/10 |
Ch. 1 | Textual Substitution, Equality, and Assignment | Quiz 1 Homework 1 Due |
3 | 9/14 9/16 9/17 |
Ch. 2 Ch. 3 |
Boolean expressions Preliminaries and equivalence |
Quiz 2 Homework 2 Due |
4 | 9/21 9/23 9/24 |
Ch. 3 | Negation, inequivalence, and false Disjunction, Conjunction, and Implication |
Quiz 3 Homework 3 Due |
5 | 9/28 9/30 |
Review Midterm Exam 1 |
No Quiz No Homework Due |
|
6 | 10/5 10/7 10/8 |
Ch. 4 | Relaxing the Proof Style | Quiz 4 Homework 4 Due |
7 | 10/12 10/14 10/15 |
Fall Break | ||
8 | 10/19 10/21 10/22 |
Ch. 5 | Applications of Propositional Calculus | Quiz 5 Homework 5 Due |
9 | 10/26 10/28 10/29 |
Ch. 8 | Quantification | Quiz 6 Homework 6 Due |
10 | 11/2 11/4 11/5 |
Ch. 9 | Predicate Calculus |
Quiz 7 Homework 7 Due |
11 | 11/9 11/11 |
Review Midterm Exam 2 |
No Quiz No Homework Due |
|
12 | 11/16 11/18 11/19 |
Ch. 10 | Predicates and Programming | Quiz 8 Homework 8 Due |
13 | 11/23 11/25 11/26 |
Ch. 11 | A Theory of Sets Thanksgiving Break |
Quiz 9 |
14 | 11/30 12/2 12/3 |
Ch. 12 | Induction over the natural numbers Inductive definitions and loops |
Quiz 10 Homework 9 Due |
15 | 12/7 12/9 12/10 |
Ch. 12 | Loops and invariants Final Exam Review Last day of Class |
No Dues |
Final Exam Week: Final Exam - Date and Time TBD |
Ting Gu--tgu@holycross.edu
Computer Science 135--Discrete Structures