Dec 11, 2024  
ARCHIVED 2015-16 SA&S Crete Campus Catalog 
    
ARCHIVED 2015-16 SA&S Crete Campus Catalog [ARCHIVED CATALOG]

IST 315 - Theory of Computation (3)


A study of the basic theoretical principles embodied in formal languages and automata. Topics include finite automata, context-free grammars, Turing machines, computability, and the halting problem. Upon completion of this course, the student will be able to apply theoretical models to the solution of computational problems.

Prerequisite: IST 145 , MTH 250 .
Offered odd spring terms.