Theoretical Computer Science

The foundational math of computing. For applied computing, see Computer Science.

Topics

• Theoretical Computer Science
  • Automata Theory
  • Category Theory
  • Complexity Theory
  • Computability Theory
  • Discrete Math
    • Combinatorics
    • Graph Theory
    • Logic
  • Numerical Analysis
    • Numerical Differential Equations
    • Numerical Linear Algebra
  • Programming Language Theory
    • Formal Semantics
    • Lambda Calculus
      • Combinatory Logic
      • Type Theory