January 24 
Lecture 1: Intro to CS0220



January 26 
Lecture 2: Proposition, Predicate, Proof by Contradiction

1.1,
1.2,
1.8

January 29 
Lecture 3: Rational Numbers, Set, SetBuilder Notation,
Cardinality, Set Operations, Power Set

4.1,
5.1

January 31 
Lecture 4: Element Method,
Set Notation, Set Operations

1.7,
3.6

February 02 
Lecture 5: Cartesian Product, Relation,
Properties of Relations,
Equivalence Relation,

4.2,
4.4,
9.11,
9.12

February 05 
Lecture 6: Equivalence Classes, Partitions, Functions

4.3
9.11,
9.12

February 09 
Lecture 7:
Injectivity,
Surjectivity,
Bijectivity,
Cardinality of Sets

4.4,
5.1,
5.2,
15.1

February 12 
Nick's Lecture

15.1,
6.1

February 14 
Lecture 9:
Bijective Proof,
Induction I

15.1,
6.1

February 16 
Lecture 10:
Induction

6.2,
6.3

February 21 
Lecture 11:
Tiling Induction,
Strong Induction

6.2,
6.3

February 23 
Lecture 12: Fundamental Thm of Arithmetic, Divisibility



February 26 
Lecture 13: Division Algorithm, Euclidean Algorithm



February 28 
Lecture 14: Modular Arithmetic III

8.6

March 02 
Lecture 14: Modular Arithmetic III

8.6,

March 05 
Lecture 15: Euler's Totient Function

8.7

March 07 
Lecture 16: Encryption, RSA

8.7,
8.8

March 09 
Lecture 17: Biconditional,
Inverse,
Converse,
Contrapositive,
Tautology,
Contradiction,
Quantification II,
Logical Algebra

3.1,
3.3,
3.4

March 12 
Lecture 18: Proof by Contradiction,
Normal Forms,
Boolean Algebra

Not in book!

March 14 
Lecture 19: Combinatorial Circuits,
Binary Representation,
HalfAdder

Not in book!

March 16 
Lecture 20: FullAdder,
Ripple Adder,
Feedback Circuits

Not in book!

March 19 
Lecture 21: RS Latch,
Clocks,
D Latch

Not in book!

March 21 




March 23 




April 02 




April 04 




April 06 




April 09 




April 11 




April 13 




April 16 




April 18 




April 20 




April 23 




April 25 




April 27 




April 30 




May 02 




May 04 




May 07 




May 09 




May 11 



