Top Image Banner
Saturday, November 21st, 2009
CSC 460: Theory of Computation


Course Units: 1

Description:
This course focuses on the traditional, algorithmic theory of computation consisting of three subareas: (1) computability, (2) complexity theory, and (3) formal languages and automata. The topics include: Turing machines, decidability/undecidability, reducibility, Church-Turing thesis, context-free grammars/languages, push-down automata, finite automata, regular expressions/languages, and time/space complexity including NP-completeness.

Prerequisite notes: CSC 260 and CSC 310, both with a grade of C or higher

Required for major/minor:
None

Option for major/minor:
Computer Science Major
Computer Science Minor