Here are my write-ups on the theory of discrete math and some non-trivial exercises therein. Enjoy!
Theory
Logic
- The Logic of Logic
- Doing Logic the Lazy Way
- The Massive Impact of Applied Logic
- The Logic of Predicates
- Ground Zero Mathematics
Sets
- How to Nest Your Predicates
- Tying Up Loose Pairs
- Mathematical Relationships
- The Origin of Numbers
- Is 0 a Natural Number?
Number Theory
- Atomic Numbers
- What Makes Strong Induction Strong?
- Who Cares About Well-Ordering?
- A Classic Numbers Challenge
Functions
- What is a Negative Number?
- Creating the Integers
- A Partial Take on Partial Order
- Surjections as Sets
- Demystifying the Square Root
Cardinality
Exercises
Logic
Sets
Number Theory
- A Fancy Multiples Problem
- Dividing Your Power
- Prime Factorisation
- Polynomial Long Division
- Theoretical Partial Fractions
Functions