A fixed-point theorem is a mathematical result that states a function F will have at least one point x where F(x) = x, given certain conditions. It is a useful tool for finding solutions to equations.1

A foundational course that introduces formal languages, automata, computability, and complexity theories, including finite automata, Turing machines, and P/NP classes.