|
Apr 29, 2024
|
|
|
|
2013-2014 UMass Dartmouth Graduate Catalog [Archived Catalog]
|
CIS 521 - Computability Theory3 credits Prerequisite: CIS 361 or equivalent, or permission of instructor Computability of sets and functions in terms of various computation models, Church-Turing thesis. Systems of recursion equations and Post canonical systems are studied. Properties of the classes of recursive functions, recursive sets, and recursively enumerable sets are also covered.
|
|