Apr 16, 2026  
2023-2024 University of Wyoming Catalog 
    
  Catalog Home

  Mission Statement
  Administration
  Admission to the University
  Degree Programs
  Course Offerings
  Credit Available to Undergraduate Students
  Advising Career Exploratory Studies (ACES)
  Registration and Enrollment in Courses
  Disability Resources
  Division of Academic Affairs
  Division of Student Affairs
  FERPA
  Grading System
  Graduate Student Regulations and Policies
  Graduation Requirements and Procedures
  Honor Societies and Programs
  Other University Services
  Special Programs and Facilities for Research and Study
  Scholarships and Financial Aid
  Tuition and Fees
  University Accreditation/Membership
  The University Studies Program 2015
  Colleges and Schools
  Armed Forces Services
  Faculty Index
  Intercollegiate Athletics
  National Outdoor Leadership School
  Success and Engagement Programs
  UWYO
  Commonly Used Terms
  University of Wyoming at Casper
  My Portfolio
HELP
2023-2024 University of Wyoming Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

COSC 5120  - Theory Of Computation

Credits: 3
Models of computation, the Church-Turing thesis, computable functions, decidable and enumerable sets, unsolvable problems, correctness of programs, and complexity of computation. The theory of computation provides precise answers to the fundamental questions of computer science: Which problems can be solved by machine computation and which can be solved using a reasonable amount of computer resources.


Prerequisite: COSC 4100 .


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)