The course curriculum is everything ¡­

The course curriculum is

• everything in Leary's book until the middle of page 186 (and nothing more)
• the parts of Lewis' & Papadimitriou's book specified below.

From Chapter 4 (Turing Machines): Section 4.1, 4.2, 4.3 (pp. 179-209)and Section 4.7 (pp. 233-244). From Chapter 5 (Undecidability): Section 5.1, 5.2, 5.3 and 5.4 (pp. 245-257)