CS
5186
3
Theory of Computing
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.
Elaine Kang