|
|
Mar 29, 2024
|
|
CSC 720 - Theory of Computation (COM)Credits: 3 Formal models of computation. Recursive function theory, computable functions, decidable and enumerable sets, unsolvable programs, correctness of programs, undecidability and incompleteness and complexity of computation. Prerequisites: CSC 445.
Check Course Availability
Add to Personal Catalog (opens a new window)
|
|
|