Jaarboeke

Axiomatic set theory and mathematical logic 724


 
Modulekode WTW 724
Kwalifikasie Nagraads
Fakulteit Fakulteit Natuur- en Landbouwetenskappe
Module-inhoud

*Hierdie inligting is slegs in Engels beskikbaar.

Axiomatic set theory, ordinals, transfinite induction and recursion, ordinal arithmetic, the axiom of choice, cardinal arithmetic, the continuum hypothesis. Propositional and first order logic. The completeness and compactness theorems. Decidability, Gödel’s incompleteness theorems.

Modulekrediete 15.00
Kontaktyd 1 lesing per week
Onderrigtaal Module word in Engels aangebied
Departement Wiskunde en Toegepaste Wiskunde
Aanbiedingstydperk Semester 1

Die inligting wat hier verskyn, is onderhewig aan verandering en kan na die publikasie van hierdie inligting gewysig word.. Die Algemene Regulasies (G Regulasies) is op alle fakulteite van die Universiteit van Pretoria van toepassing. Dit word vereis dat elke student volkome vertroud met hierdie regulasies sowel as met die inligting vervat in die Algemene Reëls sal wees. Onkunde betrefffende hierdie regulasies en reels sal nie as ‘n verskoning by oortreding daarvan aangebied kan word nie.

Copyright © University of Pretoria 2020. All rights reserved.

FAQ's Email Us Virtual Campus Share