Register machines are abstract machines used to model computation. They are Turing equivalent, meaning they can perform the same tasks as a Turing machine. Register machines are used in mathematical logic and theoretical computer science.

This advanced course reexamines traditional concepts of discrete mathematics (relations, functions, logic, graphs, algebra, automata) in the context of computation and algorithms, necessitating a strong background in discrete math.