1. Fermat’s Last Theorem: what is it? what is it related to? what is its history?2. The n queens problem (page 33).3. Knights and Knaves games (and other logic puzzles), page 20.4. First order logic and linguistics.5. The 3x + 1 conjecture (page 112).
