May 04, 2024  
School of Graduate Studies Calendar, 2020-2021 
    
School of Graduate Studies Calendar, 2020-2021 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

COMP SCI 6TC3 / Recursive Function Theory and Computability

3 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)