[DRAFT]
Algorithms, Complexity, and Approximation
Algorithm design, hardness, approximation, and the computational trade-offs that bound what systems can do efficiently.
Not published
Mathematics And Formal Foundations
CLASSIFICATION
11 tracks / 200 lessons
TRACKS
[DRAFT]
Formal Methods and Verification
Draft track for specification, model checking, proof techniques, and systems verification workflows.
Not published
[DRAFT]
Information Theory, Coding, and Compression
Entropy, channel capacity, coding, compression, and the formal limits of representation and communication.
Not published
[DRAFT]
Linear Algebra, Geometry, and Spectral Methods
Vector spaces, matrix decompositions, geometry, and spectral reasoning used across graphics, learning, and systems analysis.
Not published
[DRAFT]
Logic, Automata, and Formal Languages
Formal languages, automata, decidability, and the logical machinery that underpins compilers, verification, and computation theory.
Not published
[DRAFT]
Optimization, Convexity, and Numerical Methods
Objective landscapes, convexity, constrained optimization, and the numerical methods that make large-scale learning and control practical.
Not published
[DRAFT]
Probability, Random Processes, and Statistical Thinking
Uncertainty, random variables, stochastic processes, and the statistical habits that underpin modern systems and machine learning.
Not published
[DRAFT]
Abstract Algebra and Structural Thinking
Groups, rings, fields, homomorphisms, invariants, and algebraic structure as reusable ways to see symmetry and constraint.
Not published
[DRAFT]
Computer Science Great Ideas
A fast conceptual tour through computation, representation, algorithms, abstraction, networks, programming languages, and systems as one intellectual tradition.
Not published
[DRAFT]
Mathematical Proof and Problem Solving
Develop mathematical maturity through definitions, examples, proof strategies, counterexamples, invariants, induction, contradiction, and problem taste.
Not published
[DRAFT]
Category Theory and Compositional Thinking
A gentle bridge into objects, morphisms, functors, natural transformations, adjunctions, diagrams, and compositional design intuition.
Not published