2021-2022 University Catalog [ARCHIVED CATALOG]
|
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:
Prerequisites:
Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Natural Sciences & Mathematics
Liberal Arts CORE: None
Click here for Course Offerings by term
|
