Annotated Lecture Slides

These are the annotated lecture slides that I use in my YouTube channel (with handwritten proofs, etc.).

1. Chapter 2: Induction and Recursion (only the part on comparing cardinalities)

2. Chapter 3: Sequences and Series

3. Chapter 4: Directed Graphs.
   1. topological sort
   2. longest paths in DAGs
   3. rooted trees

4. Chapter 5: Binary Representation

5. Chapter 6: Propositional Logic
   1. Boolean formulas
   2. syntax and semantics
   3. complete sets of connectives
   4. de Morgan Duality and negation normal form

6. Chapter 7: Asymptotics
   1. Big-O, Big-Omega
   2. Recurrence equations
7. Chapter 9: Representation of Boolean Functions
8. Chapter 10: The Digital Abstraction
9. Chapter 11: Foundations of Combinational Circuits
10. Chapter 12: Trees
11. Chapter 13: Decoders and Encoders
12. Chapter 14: Shifters & Selectors
    1. Shifters
    2. Selectors
13. Chapter 15: Addition
14. Chapter 16: Signed Addition
15. Chapter 17-20 (new): Synchronous Circuits.
16. Chapter 21: ISA of the simplified DLX
17. Chapter 22: Implementation of the simplified DLX