COSC 304 - Theory of Computing

Introduces the different models of computation and focuses attention on the relative strength of each model and the relationship of one model to another. Concepts introduced include type theory, finite automata, regular expressions and languages, context-free grammars, push-down automata, Turing machines and their schema, diagonalization arguments, Church’s Thesis, the Halting problem, and computational complexity.

Credits: 1.00
When Offered: Fall semester only

Corequisite:

COSC 304L

Prerequisites:

COSC 290

Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Natural Sciences & Mathematics
Liberal Arts Practices: Quantitative and Algorithmic Reasoning
Core Component: None

Click here for Course Offerings by term