Formal Systems
COMPUTATION THEORY
Asking the fundamental questions: What is computable? How efficiently can we solve it?
Automata Theory
[Image of finite state machine diagram]
Finite StatePushdown
Mathematical models of abstract machines.
Computability
1 0 1 1 0 1 [HEAD] 0 0 1
The Turing Machine & The Halting Problem.
Complexity Theory
P vs NP
The biggest unsolved problem in computer science. If a solution is easy to check, is it also easy to find?
P (Easy)
NP (Hard?)
Formal Logic
∀x ∃y (P(x) → Q(y))
Information Theory
Quantifying data. Entropy, compression, and channel capacity.
Quantum Theory
Beyond Binary
Superposition & Entanglement