Discrete math. basics, induction, inductive definitions (Chapter from ``Logic for Computer Science'', by J. Gallier) (pdf)
Logic and Computation (my old logic book, etc.)
(html)
What is a proof? (Talk given on November 6, 2008) slides (pdf) slides (keynote)
Some Problems and Motivations (slides)
(pdf)
Slides on natural deduction systems for propositional logic
(pdf)
Slides on natural deduction systems for first-order logic
(pdf)
Slides on set theory
(pdf)
Slides on Relations, Functions, Partial Functions, Induction,
Pigeonhole Principle, Equinumerosity
(pdf)
Slides on Basics of Graph Theory, trees, spanning trees
(pdf)
Slides on "Baby Combinatorics":
Binomial and Multinomial Coefficients; The Inclusion-Exclusion Principle (pdf)
Slides on Partial Orders, Lattices, Well-Founded Orderings, Equivalence Relations, Distributive Lattices, Heyting Algebras (pdf)
Some Big Fibonacci Numbers
(pdf)