University General Course Catalog 2012-2013

May 05, 2024

University General Course Catalog 2012-2013 ARCHIVED CATALOG: LINKS AND CONTENT ARE OUT OF DATE. CHECK WITH YOUR ADVISOR.

CS 763 - Computability and formal Languages

(3 units)

Turing machines, recursive functions, computability and undecidability. Formal languages and their decision problems.

Units of Lecture: 3
Offered Every Spring - Odd Years

Click here for course scheduling information. | Check course textbook information