|
Apr 19, 2024
|
|
|
|
CS 5186 - Theory of Computing (3) 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.
Add to Portfolio (opens a new window)
|
|