An introduction to foundations of computing with emphasis on questions of what can and cannot be computed in principle, what can and cannot be computed efficiently. Models of computation, decidable and undecidable problems, computational complexity.
Prerequisites: Math 245 (3) or instructor consent.