Introduction to Theoretical Computer Science

Boaz Barak

Work in progress

This is a textbook in preparation for an introductory undergraduate course on theoretical computer science. I am using this text for Harvard CS 121.

See below for individual chapters. You can also download:

Book in a single PDF file (about 600 pages, 10MB).
Table of contents.

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 boazbk/tcs where I am maintaining the source files for these notes. You can also post comments on each chapter in the links below. The repository github.com/boazbk/tcscode will eventually contain all supplemantary code and online appendices for this book.

I am revising the book in the spring of 2019. For prior versions of the book, see the repository release page. The most updated version of this book is always on this page.

Book chapters

Compiled on 03/06/2019 21:47:39

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Produced using pandoc and panflute with templates derived from gitbook and bookdown.