Curricula Guides
2008–2009
Archived Curricula Guide 2008–2010
Curricula Guide is archieved. Please refer to current Curricula Guides
▪
Curricula Guides
»
Faculty of Information Sciences
2008–2010
»
Department of Mathematics and Statistics
»
1.2 Optional advanced courses in computer science
MATES16
Computability Theory
5–10
ECTS
Organised by
Mathematics
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, Computability. An introduction to recursive function theory.Belongs to following study modules
Department of Mathematics and Statistics
Advanced Studies in Mathematics
(Mathematics)
Department of Computer Sciences
1.2 Optional advanced courses in computer science
(Computer Science)
2008–2009
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Department of Mathematics and Statistics
Mathematics
Statistics