353 Theory of Computation

Undergraduate Program

A survey of the theoretical bases of computation: computational complexity (including the classes P and NP) and formal models of the semantics of programming languages. Three lecture hours a week for one semester.


The following coursework with a grade of at least C-: Computer Science 311 or 311H or 313K or 313H, 314 or 314H or 315 or 315H, 310 or 310H or 429 or 429H, 331 or 331H or 341 or 341H or 357 or 357H, and Mathematics 408C, 408K, or 408N.