|
Sep 27, 2024
|
|
|
|
COMP SCI *6TC3 / Recursive Function Theory and Computability3 unit(s)
Staff
Antirequisite(s): COMP SCI 4TC3
Recursive and primitive recursive functions, decidability and undecidability with applications to formal language theory, logic and algebra.
Add to Favourites (opens a new window)
|
|