Building Blocks for Theoretical Computer Science

Margaret M. Fleck

This is Version 1.3b (2017), a variant of 1.3 (2013) with some modest changes for use by recent versions of the U. Illinois course. It will eventually turn into a real version 1.4. You can download the whole book as a single pdf file, or select from the individual files below.

Also see our collection of study problems with annotated solutions.

Instructors may find the instructor manual helpful.

errata file

Old versions of the book