ECTS - University of Pisa

Computability Theory

Code 217AA
Credits 6

Learning outcomes

Models of computation and recursive functions.