CS 5000

Theory of Computability

Utah State University · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

This course explores the theory of computation, including presentation of computability, decidability, and complexity. This course includes formal grammars, finite and pushdown automata, and turing machines.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 2 hours ago

001

Availability not recently verified
Class #utah-1805Fall 2026UGRD3 credits
Days & times
No scheduled meeting time
Meeting dates
Location
Instructor
Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?