2018-2019 University Catalogue 
    Mar 01, 2024  
2018-2019 University Catalogue [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: COSC 304L  
Prerequisites: COSC 290  
Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Natural Sciences & Mathematics
Liberal Arts CORE: None

Click here for Course Offerings by term