tcscode

Supplementary code for Introduction to Theoretical Computer Science book:

• Chapter 0: Introduction

• Chapter 2: Computation and Representation

• Chapter 3: Defining computation

• Chapter 4: Syntactic Sugar and Computing Every function

• Chapter 5: Code as data, Data as code

• Chapter 7: Loops and Infinity, and Chapter 9: Universality and Uncomputability

• Lambda calculus (related to Chapter 8: Equivalent models of computation)

• Chapter 13: Modeling running time

• Chapter 14: Polynomial-time reductions

• Chapter 15: NP, NP-Completeness, and the Cook-Levin Theorem

Use https://nbviewer.jupyter.org/github/boazbk/tcscode/tree/master/ to view all the notebooks in a static version. See also version on mybinder.