Set Theory & Mathematical Logic (MATH3306)
Information valid for Semester 2, 2025
Course level
Undergraduate
Faculty
Schools
History,Philos,Religion&Class, Mathematics & Physics School
Units
2
Duration
One Semester
Attendance mode
In Person
Class hours
3L 1T
Incompatible
MATH3304 or 3305
Recommended prerequisite
MATH1061
Assessment methods
1 midterm exam, 1 final end of sem exam and problem sets.
Course enquiries
Doctor Daniele Celoria (Semester 2, Regular, St Lucia, In person)
Dr Daniele Celoria
Current course offerings
| Course offerings | Location | Mode | Course Profile |
| Semester 2, 2025 (28/07/2025 - 22/11/2025) | St Lucia | In Person | Profile unavailable |
Please Note: Course profiles marked as not available may still be in development.
Course description
**NOT OFFERED IN 2014** The course will introduce students to aspects of set theory and formal logic. It will include topics in Set Theory: the Zermelo-Fraenkel Axioms, Axiom of Choice, Transfinite arithmetic, Zorn's Lemma, Ordinal numbers, Cardinal numbers and an introduction to model theory; topics in Propositional & predicate calculus: semantics, soundness & completeness of formal languages, recursive functions & computability, Godel's incompleteness theorems. Offered in even-numbered years only.
