TCS Chapter 6: Loops and Infinity
TCS Chapter 8: Universaility and Uncomputability
Alan M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem. 1936. (bug fix)
This is an archived page from the Fall 2019 version of the course. For the latest version, see https://uvatoc.github.io.