tcs

tcs copied to clipboard

Please open a different issue for each chapter, with the **chapter name** in the title - thank you! Please edit the fields below Chapter 6: Functions with Infinite Domains, Automata,...

paritashahh

**Chapter name**: Code as data, data as code **List of bugs/typos** In Algorithm 5.11, "Eval NAND-CIRC programs," the word "input" in the description of the output, which should be plain...

junemoretz

Chapter 11: Is Every Theorem Proveable? Latex Issues

1

**Chapter name**: Is Every Theorem Proveable? **List of bugs/typos**:  Halting From Proofs algorithm doesn't correctly format the Latex in the "if" statements.

GabrielDWu

**Chapter name**: Defining computation (chapter 3) **List of bugs/typos** In the PDF version of this chapter (but not the pandoc HTML version), the in-text reference to Figure 3.8 is replaced...

junemoretz

Update index.md

1

Fix typo

eado

Update lec_07_other_models.md

1

Fix typo

shirriff

fix typo in chapter 14 figure description of soundness

1

adzcai

(Had to open another PR due to issues with CLA signing.)

orrp

**Chapter name**: NP, NP completeness, and the Cook-Levin Theorem **List of bugs/typos** 1. In the table of contents, there is a LaTeX formatting issue on the introtcs.org website.

changbenjamin

**Chapter name**: Restricted computational models **List of bugs/typos** 1. In the section titled "Turing completeness as a bug," in the example about DAO, the sentence "Specifically Ethereum uses the Turing-complete...

CapitalOM