Contents: 1. Limits? What Limits? 2. Problems and Effective Procedures 3. The WHILE-Language 4. Semantics of WHILE 5. Extensions of WHILE 6. Programs as Data Objects 7. A Self-interpreter for WHILE 8. An Undecidable (Non-computable) Problem 9. More Undecidable Problems 10. Self-referencing Programs 11. The Church-Turing Thesis 12. Measuring Time Usage 13. Complexity Classes 14.…