everything.study
COMPSCI 4TH3

Theory of Computation

Undergraduate

Fall 2026 · C01

Readings

  • eText Computational Complexity - Lifetime Access
    Arora · Required
    ISBN 9781139234757; 9780521424264
  • Theory Of Computation
    Kozen · Suggested
    ISBN 9781849965712
  • eText Introduction To The Theory Of Computation - 12 Month Access Ed: 3
    Sipser · 3 · Suggested
    ISBN 9781285320731; 9780357670583
Fall 2026

Topics

  • Formal languages
  • Models of computation
  • Decidability
  • Reduction techniques
  • Time and space complexity classes

Readings

  • "Computational Complexity: A modern approach", by S. Arora and B. Barak, Cambridge University Press, $100
    required
  • " Computational Complexity", by O. Goldreich, Cambridge University Press, $120
    recommended
  • "Introduction to the Theory of Computation", 3rd Ed., by M. Sipser, Cengage Learning, $236
    3rd Ed · recommended
  • "Theory of Computation", by D. C. Kozen, Springer, $152 We are going to use the first half of the first book for this course. The second book is also an excellent text covering the same topics, but more from a cryptographic perspective. The third book is a classic introductory
    recommended
Fall 2025 · C01

Readings

  • Etext Computational Complexity - Lifetime Access
    Arora · Required
    ISBN 9781139234757; 9780521424264
  • Theory Of Computation
    Kozen · Suggested
    ISBN 9781849965712
  • Etext Introduction To The Theory Of Computation - 12 Month Access Ed: 3
    Sipser · 3 · Suggested
    ISBN 9781285320731; 9780357670583
Sources