tcs
tcs copied to clipboard
boazbk
Book in preparation: introduction to theoretical computer science
**Chapter name**: Quantum Computing **List of bugs/typos** In the Uniform Computation subsection the reference in "^[This is analogous to the alternative characterization of $\mathbf{P}$ that appears in [Palternativeex](){.ref}.]" does not...
**Chapter name**: Equivalent Models of Computation **List of bugs/typos** 1. Subsection: Formal definition of the $\lambda$ calculus: Link for Chelsea Voss's diagram is incorrect, as it goes to someone else's...
Chapter 8: Equivalent Models of Computation 1. Extra period when rendered: ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus." #enhancedvanillalambdathm} -> ### {.theorem title="Enhanced λ calculus equivalent to...
Chapter 12 (Efficient computation: An informal introduction): Preface In "“For practical purposes, the difference between algebraic and exponential order is often more crucial than the difference between finite and non-finite.”,...
Hi there! I noticed a typo within this section on Big-O Notation when referring to the notes of James Aspnes. This is what I read in the PDF and online...
**Chapter name**: NP, NP completeness, and the Cook-Levin Theorem **List of bugs/typos** 1. First paragraph of chapter: "It turns out we can reduce all three problems to 3SAT in one...
Computation and Representation Chapter - Representing Graphs Error: Image that contains adjacency matrix and adjacency list representation of a graph. There is an edge from vertex 4 to vertex 3,...
1. Typo: At the end of this section, in the paragraph before the next section (The NAND-CIRC Programming language), there is a typo. "The crucial observation is... c_{i+1}
Chapter "Defining Computation," section "Extended example: Computing XOR from AND, OR, and NOT" 1. In the last line of the proof, it should be "in which case the algorithm will...
**Chapter name**: Defining computation **Bug**: In the section "Boolean Circuits", there are two question marks in place of what should be a reference to Figure 3.8: "evaluating the circuit. For...
