Yearbooks

BACK

Axiomatic set theory and mathematical logic 724


 
Module code WTW 724
Qualification Postgraduate
Faculty Faculty of Natural and Agricultural Sciences
Module content

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.
Module credits 15.00
Contact time 1 lecture per week
Language of tuition Module is presented in English
Academic organisation Mathematics and Applied Maths
Period of presentation Semester 1
The information published here is subject to change and may be amended after the publication of this information. The General Regulations (G Regulations) apply to all faculties of the University of Pretoria. It is expected of students to familiarise themselves well with these regulations as well as with the information contained in the General Rules section. Ignorance concerning these regulations and rules will not be accepted as an excuse for any transgression.

Postal Address:
University of Pretoria
Private Bag x 20
Hatfield
0028

Location:
GIBS | Groenkloof | Hatfield
Hillcrest | Mamelodi | Onderstepoort | Prinshof

Student Service Centre (for Contact students):
Contact Centre - Telephone: 012 420 3111
Contact Centre - Email: [email protected]

UPOnline Call Centre (for Online Students):
Call Centre - Email: [email protected]

Get Social With Us

Download the UP Mobile App

Copyright © University of Pretoria 2024. All rights reserved.

Careers@UP | Tenders@UP | Ethics Hotline | PAIA Manual | Privacy Notices | Website Privacy Notice | Disclaimer | Terms of use

FAQ's Email Us Virtual Campus Share Cookie Preferences