Work in progress
These is a textbook in preparation for an introductory undergraduate course on theoretical computer science. I am using this text for Harvard CS 121.
You can also download all chapters in a single PDF file (about 500 pages, 10MB).
See this website for (a very much work in progress) implementation of the NAND* programming languages that are used in in these notes.
If you have any comments, suggestions, typo fixes, etc.. I would be very grateful if you post them as an issue or pull request in the GitHub repository where I am maintaining the source files for these notes.
Copyright 2018, Boaz Barak.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
HTML version is produced using the Distill template, Copyright 2018, The Distill Template Authors.