LECTURE NOTES
Dec 6-8 (Equivalence and General Relations -- book: chapter 8 (sects 1-4))
Nov 29-Dec 1 (Probability Crash Course -- mostly not in book)
Nov 3 (Trees, graphs, Fibonacci numbers -- book: --
-- chapter 10, and page 229)
Oct 18-Nov 1 (Induction -- book: chap 5)
Oct 11 (Infinite Sets, Russell's Paradox, the Halting
Problem -- mostly not in book)
Oct 6 (More elementary set theory, and partitions)
Oct 4 (Infinitude of primes; elementary set theory -- book: chap 6
Sept 29 (Floors, Ceilings, and Roots -- book: 4.6 for--
-- roots; nothing there on floors/ceilings
Sept 27 (Quotient-Remainder Theorem and modular arith
-- book: 4.4 and bits of 8.4)
Sept 22 (Divisibility and Primes -- book: 4.2-4.3)
Sept 20 (Methods of proof -- book: 4.1)
Sept 15 (Interpretations and arguments -- book: 3.3-3.4)
Sept 13 (FOL, interpretations -- book: 3.1-3.3)
Sept 8 (from TTBLs to wffs to circuits -- not in book)