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 |
NQF Level | 08 |
Programmes | |
Contact time | 1 lecture per week |
Language of tuition | Module is presented in English |
Department | Mathematics and Applied Mathematics |
Period of presentation | Semester 1 |
Copyright © University of Pretoria 2024. All rights reserved.
Get Social With Us
Download the UP Mobile App