Where this topic leads
Topics that build on Basic Logic and Proof Techniques
Once you have Basic Logic and Proof Techniques, these are the topics that cite it as a prerequisite. Pick by tier and the area you want to push into next.
Editor's suggested next (16)
- Sets, Functions, and Relations
- Counting and Combinatorics
- Arrow's Impossibility Theorem
- CAP Theorem
- Category Theory
- Distributed Consensus
- Information Retrieval Foundations
- Model Theory Basics
- Proof Theory and Cut-Elimination
- Relational Algebra
- Type Theory
- Concentration Inequalities
- Hoeffding's Lemma
- PAC Learning Framework
- Uniform Convergence
- VC Dimension
Core flagship topics (7)
- Concentration Inequalitieslayer 1 · concentration-probability
- Hoeffding's Lemmalayer 1 · concentration-probability
- Information Retrieval Foundationslayer 2 · algorithms-foundations
- PAC Learning Frameworklayer 1 · learning-theory-core
- Sets, Functions, and Relationslayer 0A · foundations
- Uniform Convergencelayer 2 · learning-theory-core
- VC Dimensionlayer 2 · learning-theory-core
Standard topics (7)
- Arrow's Impossibility Theoremlayer 2 · decision-theory
- CAP Theoremlayer 3 · algorithms-foundations
- Category Theorylayer 0A · foundations
- Counting and Combinatoricslayer 0A · foundations
- Distributed Consensuslayer 3 · algorithms-foundations
- Relational Algebralayer 1 · foundations
- Type Theorylayer 0A · foundations
Advanced or specialty topics (2)
- Model Theory Basicslayer 2 · foundations
- Proof Theory and Cut-Eliminationlayer 2 · foundations