2012-2015 Academic Catalog 
    
    Feb 02, 2025  
HELP
2012-2015 Academic Catalog [ARCHIVED CATALOG]

CS 5200 - Theoretical Foundations of Computing

Course Type: Computer Science
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 D or Graduate level CS 5100  Minimum Grade of D
DOC 2
Level: Graduate
Schedule Type(s): Lecture
Catalog Navigation
  Catalog Home
  Programs of Study
  Other Programs
  Course Descriptions
  About the University
  Academic Calendar
  Admission
  Faculty
  Policies and Resources
  Business, Raj Soin College of
  Education and Human Services, College of
  Engineering and Computer Science, College of
  Graduate School
  Lake Campus
  Liberal Arts, College of
  Medicine, Boonshoft School of
  Nursing and Health, College of
  Professional Psychology, School of
  Science and Mathematics, College of
  University College