    Course module   NWIWM120C  Category   MA (Master)  Language of instruction   Dutch  Offered by   Radboud University; Faculty of Science; Wiskunde, Natuur en Sterrenkunde;  Lecturer(s)     Academic year   2018   Period   KW1KW2  (03/09/2018 to 27/01/2019) 
 Starting block   KW1  
 Course mode   fulltime  
 Remarks     Registration using OSIRIS   Yes  Course open to students from other faculties   No  Preregistration   No  Waiting list   No  Placement procedure    
     
The student is familiar with The goal of the course is to make the student acquainted with the topics mentioned below, and
 arithmetization
 the equivalence of various definitions of the class of computable functions
 reducibilities
 the arithmetical hierarchy
 relative computation and Turingreductions
 the recursion theorem
 diagonalization
 applications
 miscellaneous advanced topics
Thus, the student is prepared for more advanced topics in computability theory and descriptive set theory.


 arithmetization
 the equivalence of various definitions of the class of computable functions
 reducibilities
 the arithmetical hierarchy
 relative computation and Turingreductions
 the recursion theorem
 diagonalization
 applications
 miscellaneous advanced topics




S. A. Terwijn, Syllabus Computability Theory (2004), and other material from textbooks. 
• 28 hours lecture • 14 hours problem session 
Written exam or oral examination, depending on the number of participants. 
Basic knowledge of mathematical logic, as well as the mathematical maturity required for a master's course in mathematics. 
   Recommended materialsBookS. A. Terwijn, Syllabus Computability Theory (2004), and other material from textbooks. 
Costs  :   0.00 


Instructional modesCourse
 Lecture
 Tutorial
 Zelfstudie

 TestsTentamenTest weight   1 
Opportunities   Block KW2, Block KW3 


  
 
 