SluitenHelpPrint
Switch to English
Cursus: NWI-WM120C
NWI-WM120C
Computability Theory
Cursus informatieRooster
CursusNWI-WM120C
Studiepunten (ECTS)6
CategorieMA (Master)
VoertaalNederlands
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Wiskunde, Natuur- en Sterrenkunde;
Docenten
Coördinator
dr. S.A. Terwijn
Overige cursussen docent
Docent
dr. S.A. Terwijn
Overige cursussen docent
Contactpersoon van de cursus
dr. S.A. Terwijn
Overige cursussen docent
Collegejaar2016
Periode
KW1-KW2  (29-08-2016 t/m 29-01-2017)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerking-
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersNee
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen

The goal of the course is to make the student acquainted with the topics mentioned below, and to prepare him or her for more advanced topics in computability theory and descriptive set theory.

Onderwerpen
• arithmetization
• the equivalence of various definitions of the class of computable functions
• reducibilities
• the arithmetical hierarchy
• relative computation and Turing-reductions
• the recursion theorem
• diagonalization
• applications
• miscellaneous advanced topics
Toetsinformatie
Written exam or oral examination, depending on the number of participants.
Voorkennis
Basic knowledge of mathematical logic, as well as the mathematical maturity required for a master's course in mathematics.
Literatuur
S. A. Terwijn, Syllabus Computability Theory (2004), and other material from textbooks.
Werkvormen

• 28 hours lecture
• 14 hours problem session
Verplicht materiaal
Boek
S. A. Terwijn, Syllabus Computability Theory (2004), and other material from textbooks.
Werkvormen
Cursus

Hoorcollege

Werkcollege

Zelfstudie

Toetsen
Tentamen
Weging1
GelegenhedenBlok KW2, Blok KW3

SluitenHelpPrint
Switch to English