- Courses
- CS5186
Code | CS5186 | Department | Computer Science | ||
---|---|---|---|---|---|
Name | Theory of Computing | Prerequisites | CS3186 | ||
Units | 3 | Unit Factor | 1.0 | ||
Coordinator | Raj Pamula | Description | |||
Catalog Description | Prerequisite: CS 3186. Mathematical models of computation. Recursive function theory and primitive recursion. Computability and logic. Church’s Thesis, Wegner’s interaction machines, and quantum computation. |