Theory of Computation
Automata, computability, and language hierarchies.
Coming soon: DFA/NFA notes and proofs.
Computer science, applied.
Theoretical tools translated into engineering instincts. Start with the fundamentals and layer on more specialized systems knowledge.
Suggested sequence
- Data structures and complexity
- Algorithms and problem-solving patterns
- Operating systems, networking, and compilers
Tutorial collections
Computational Complexity
Complexity classes, reductions, and hardness.
Coming soon: P vs NP primers and problem maps.
Discrete Mathematics
Graph theory, combinatorics, and counting.
Coming soon: discrete proofs and identities.
Formal Methods & Verification
Specification, model checking, and correctness proofs.
Coming soon: invariants and temporal logic.
Programming Language Theory
Type systems, semantics, and interpreters.
Coming soon: lambda calculus and type soundness.
Information Theory
Entropy, compression, and channel capacity.
Coming soon: coding theory notes.
Computational Models
Turing machines, RAM models, and circuits.
Coming soon: model comparisons and limits.
Logic & Computation
Propositional logic, predicates, and proof systems.
Coming soon: resolution and SAT basics.
Computational Geometry
Geometric algorithms and spatial complexity.
Coming soon: convex hull and line sweep.
Foundations of Artificial Intelligence
Search, knowledge representation, and reasoning.
Coming soon: agents and planning notes.