MATH/COMP 4803 Lecture Notes

  1. Introduction

  2. List computability

  3. Programs in \({\cal S}\)

  4. Macros

  5. PRC

  6. 3.4-3.6

  7. 3.7-3.8

  8. 4.1-4.3, 4.5

  9. 4.4

  10. 4.6-4.8

  11. 5.1-5.3

  12. 5.4-5.5

  13. 5.6

  14. 6.1-6.2

  15. 6.3-6.5

  16. 7.1-7.2

  17. 7.5

  18. Satisfiability

  19. \(\mathbf{NP}\)-completeness

Updated Mar 28, 2016