An Introduction to the Theory of Computation
Course #: CS 420, Class #: 1407, Section #: 01
Description
This course introduces such theoretical aspects of computing as models of computation, inherent limits on computation, and feasible computation. Topics include definition of computable functions (recursive functions, functions computable by Turing machines, functions computable in a programming language), unsolvability of the halting problem and related problems, the classes P and NP, finite automata, and context-free grammars.
Prerequisites
CS 220 (grade of C- or better)
Course Details
Date / Time
9/8/26 - 12/11/26
MoWe 4p.m. – 5:15p.m.
Location
Wheatley-Peters W01-0004
Credits
3
Session
Regular Academic Session
Class Dates
9/8/2026 - 12/11/2026
Location
Wheatley-Peters W01-0004
Enrolled / Capacity
27 / 50
Status
Open