Building Blocks for Theoretical Computer Science

Margaret M. Fleck

This is a variant of Version 1.3 with some modest updates for Spring term 2019, for use by the current U. Illinois course. It will eventually turn into a real version 1.4. Be aware that additional updates may be added as the term progresses. For some of the supplementary materials, please see the main version 1.3 page.

Please send reports of bugs to

Also see our collection of study problems with annotated solutions.