Mathematical preliminaries -- Introduction to machines -- Devices, machines, and programs -- Simulation -- Finite machines and regular languages -- Context-free languages -- Stack and counter machines -- Computability -- Recursion theory -- Feasible and infeasible problems.