x !
Archived Curricula Guide 2010–2011
Curricula Guide is archieved. Please refer to current Curricula Guides
MATES16 Computability Theory 5–10 ECTS
Organised by
Mathematics
Corresponding course units in the curriculum
Department of Mathematics and Statistics
Curricula 2008 – 2010
MATES16 Computability Theory 5–10 ECTS

Learning outcomes

To familiarize oneself with the topics mentioned in the contents.

Contents

URM computability, recursion and minimalisation, Church’s thesis, universal function, solvability and partial solvability, the imperfection of number theory, complexity theory.

Teaching methods

The amount of tuition depends on the number of credits awarded for the course.

Modes of study

Evaluation

Numeric 1-5.

Study materials

Cutland, N. J., Computability: an introduction to recursive function theory.

Belongs to following study modules

Department of Mathematics and Statistics
Advanced Studies in Mathematics (Mathematics)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Mathematics and Statistics