2017-2018 Academic Catalog 
    
    Sep 23, 2020  
2017-2018 Academic Catalog [ARCHIVED CATALOG]

CS 3200 - Theoretical Foundations of Computing



Credit Hour(s): 3
Introduction to the theory of formal languages and automata with an emphasis on the classes of languages commonly encountered by computer scientists. Computability examines the solution of decision problems; the Church-Turing thesis; the undecidability of the Halting Problem; and problem reduction and undecidability.
Prerequisite(s): Undergraduate level CS 3100 Minimum Grade of C
Restrictions: May not be enrolled in one of the following Degrees: Intending Egr & CS. Must be enrolled in one of the following Colleges: College of Egr & Computer Sci.

Level: Undergraduate
Schedule Type(s): Lecture