Academics

Course Catalog

UGRD > CS > 420

An Introduction to the Theory of Computation

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.

Offered in:

2015 Fall

Section Class Number Weekly Schedule Time Instructor Location
01 1537 MW 05:30 PM - 06:45 PM Fejer,Peter A M03-0430 More Info
02 16443 MW 07:00 PM - 08:15 PM
M01-0213 More Info

2015 Spring

Section Class Number Weekly Schedule Time Instructor Location
01 1579 MW 05:30 PM - 06:45 PM Offner,Carl D M01-0207 More Info