CS5311 Reading List: Week 6
Chapter 4
Section 4
Recursively Enumerable Sets
Section 5
The
s-m-n
Theorem
Section 6
Diagonalization and Reducibility (read ahead)
Chapter 4
Chapter 4