COMPSCI 4TH3
Theory of Computation
Fall 2026 · C01
Readings
- eText Computational Complexity - Lifetime AccessISBN 9781139234757; 9780521424264
- Theory Of ComputationISBN 9781849965712
- eText Introduction To The Theory Of Computation - 12 Month Access Ed: 3ISBN 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
- " Computational Complexity", by O. Goldreich, Cambridge University Press, $120
- "Introduction to the Theory of Computation", 3rd Ed., by M. Sipser, Cengage Learning, $236
- "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
Fall 2025 · C01
Readings
- Etext Computational Complexity - Lifetime AccessISBN 9781139234757; 9780521424264
- Theory Of ComputationISBN 9781849965712
- Etext Introduction To The Theory Of Computation - 12 Month Access Ed: 3ISBN 9781285320731; 9780357670583