Building Blocks for Theoretical Computer Science

This is Version 1.4, the first to be html based, released Jan-April 2026. Users of previous versions should note that later chapters have been renumbered/reordered.

Also see our collection of study problems with annotated solutions.

• Preface
• Chapter 1: Math Review
• Chapter 2: Logic
• Chapter 3: Proofs
• Chapter 4: Number Theory
• Chapter 5: Sets
• Chapter 6: Relations
• Chapter 7: Functions and onto
• Chapter 8: Functions and one-to-one
• Chapter 9: Graphs
• Chapter 10: Collections of Sets
• Chapter 11: Two-way Bounding
• Chapter 12: Induction
• Chapter 13: Recursive Definition
• Chapter 14: Trees
• Chapter 15: Big-O
• Chapter 16: Algorithms
• Chapter 17: NP
• Chapter 18: Proof by Contradiction
• Chapter 19: State Diagrams
• Chapter 20: Countability
• Chapter 21: Planar Graphs
• Appendix A: Jargon
• Appendix B: Acknowledgements and Supplementary Readings