An introductory course in computing theory. Topics include sequential machines, formal languages and Turing machines, computable and non-computable functions, and finite state automata.