| # | main material | additional notes (if any) |
|---|---|---|
| 01. | Introduction to This Course | additional notes |
| 02. | Basics of Symbolic Logic | additional notes |
| 03. | Predicates and Quantifiers | additional notes |
| 04. | Basics of Symbolic Proofs | additional notes |
| 05. | How to Use ProofBuilder | additional notes |
| 06. | Schemes/Methods/Strategies for Constructing Proofs / Doing Deduction | additional notes |
| 07. | Sets | additional notes |
| 08. | (Review) Some Basic Math (Algebra, Functions, etc.) Used in Computer Science | additional notes |
| 09. | Some Functions on Integers
(Section 3.6 of our textbook by Rosen) |
additional notes |
| 10. | More Regarding Integers: Divisors
(Sections 3.4-3.5 of our textbook by Rosen) |
additional notes |
| 11. | Applications of Divisors | additional notes |
| 12. | Induction | additional notes |