M1 Symbolic Logic
M1 Readme
W1 Material Implications
F1 Truth Tables
T2 Finite and Complete Induction
F2 Sieve of Eratosthenes
M3 Euclid's Algorithm (Midas' Floor)
M3 Sample Quiz
M4 Prime Unique Factorization (PUF)
M4 Quiz
M5 Clock Arithmetic and Divisibility
F5 Induction redux
W6 RSA Public Key Encryption
M7 Midterm
T8 Limits and Null Sequences
W8 Toeplitz Sequences (Tucker-Marks Notes)
F8 Kinds of Sequences
W9 Bolzano-Weierstrass Theorem
F9 Continuous Functions
T10 Meanvalues of Functions
T10 Seminar on Derivatives
W12 Seminar on Bounded Sets
T12 Seminar on Limits
M13 Cardinality
M14 Hourly Postmortem
M14 Kepler to Newton
T14 Newton to Kepler