CS 4060

Computation Theory

Ohio University · UGRD · Fall 2026

1 section

Catalog description

Explores fundamentals concerning formal language theory and the theory of computation. Topics include basic models of computation, the Church-Turing thesis, Turing machines, decidability and undecidability, computational complexity, NP-completeness, and diagonalization.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #ohio_main_campus_2-CS4060Fall 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?