A study of topics in discrete mathematics fundamental to understanding theoretical computation. Topics include set theory, logic, logic circuits, matrices, search processes, recursive processes, induction and finite automata.