Algorithms, Complexity, and Approximation
Mathematics And Formal Foundations
Algorithm design, hardness, approximation, and the computational trade-offs that bound what systems can do efficiently.
Mathematics And Formal Foundations
TRACKS
Formal Methods and Verification
Mathematics And Formal Foundations
Draft track for specification, model checking, proof techniques, and systems verification workflows.
Information Theory, Coding, and Compression
Mathematics And Formal Foundations
Entropy, channel capacity, coding, compression, and the formal limits of representation and communication.
Linear Algebra, Geometry, and Spectral Methods
Mathematics And Formal Foundations
Vector spaces, matrix decompositions, geometry, and spectral reasoning used across graphics, learning, and systems analysis.
Logic, Automata, and Formal Languages
Mathematics And Formal Foundations
Formal languages, automata, decidability, and the logical machinery that underpins compilers, verification, and computation theory.
Optimization, Convexity, and Numerical Methods
Mathematics And Formal Foundations
Objective landscapes, convexity, constrained optimization, and the numerical methods that make large-scale learning and control practical.
Probability, Random Processes, and Statistical Thinking
Mathematics And Formal Foundations
Build a practical probability model of uncertain events, samples, measurements, and processes, then test what its summaries can and cannot justify.
Abstract Algebra and Structural Thinking
Mathematics And Formal Foundations
Groups, rings, fields, homomorphisms, invariants, and algebraic structure as reusable ways to see symmetry and constraint.
Computer Science Great Ideas
Mathematics And Formal Foundations
A beginner orientation to computer science that traces how exact procedures, representations, algorithms, abstractions, languages, networks, and system layers turn intent into working software.
Mathematical Proof and Problem Solving
Mathematics And Formal Foundations
Develop mathematical maturity through definitions, examples, proof strategies, counterexamples, invariants, induction, contradiction, and problem taste.
Category Theory and Compositional Thinking
Mathematics And Formal Foundations
A gentle bridge into objects, morphisms, functors, natural transformations, adjunctions, diagrams, and compositional design intuition.