|
|
Dec 22, 2024
|
|
CSC 720 - Theory of ComputationCredits: 3 Formal models of computation. Recursive function theory, computable fuctions, 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)
|
|
|