| |
Dec 07, 2025
|
|
|
|
|
CSC 7200 Theory of Computation I (3) Prereq.: CSC 4890 . Algorithms, computability, decidability, enumerability; formal replacements and Church’s thesis; Turing machines, primitive recursive functions, u-recursive functions; undecidable predicates.
Add to Portfolio (opens a new window)
|
|