|
|
|
Apr 19, 2024
|
|
2018-2019 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 767 - Mathematical Theory of ComputationCollege of Engineering and Computer Science
3 credit(s)
The classical theory of effective computability, primarily concerned with the existence of computer methods. Topics: Turing machines, computable functions, recursion, unsolvable problems, degrees of unsolvability, applications.
PREREQ: CIS 521
|
|
|