# Lectures

### Lectures

Only very high-level class notes will be released: they are meant to reinforce the lecture, not replace it. Lecture topics are tentative. You are highly encouraged to attend all lectures and write your own notes.

Date Topics Book Sections
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, Set-Builder 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, Half-Adder

Not in book!

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 ---

---