CS2110
THEORY OF COMPUTATION
Fall 2026 ✗Spring 2027 ✗Summer 2027 ✗
Typically offered: Spring. From Pitt's class search as of Oct 25, 2026. Confirm in PeopleSoft when enrolling.
PRE-REQ: Check the SCI Website
Course DescriptionThis course deals with computability theory, automata theory and formal languages. Various models of computation will be examined, their relations to each other and their properties will be studied. Topics include models for computable functions and church's thesis, models for recognizers and their relation to formal grammars, algorithmically solvable and unsolvable problems, and the complexity of computations.
Credits:3
View this course on Pitt's WebsiteTestimonials
Testimonial List Placeholder
