2024-2025 Academic Catalog 
    
    Sep 10, 2024  
2024-2025 Academic Catalog

CS 5200 - Theoretical Foundations of Computing



Credit Hour(s): 3

Course Description: 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. Department Managed Prerequisite(s): Undergraduate level CS 3100 Minimum Grade of D or Graduate level CS 5100 Minimum Grade of D

Enrollment Restrictions: Must be enrolled in one of the following levels: Graduate, Medical, Professional. Must be enrolled in one of the following colleges: College of Egr & Computer Sci.

Course Level: Graduate
Schedule Type(s): Lecture

Grade Mode: Standard
An additional fee is associated with this course.