Set Theory & Mathematical Logic (MATH3306)
Information valid for Semester 2, 2023
Course level
Undergraduate
Faculty
Schools
Historical & Philosophical Inq, Mathematics & Physics School
Units
2
Duration
One Semester
Attendance mode
In Person
Class hours
Lecture 3 Hours/ Week
Tutorial 1 Hour/ Week
3L 1T
Incompatible
MATH3304, MATH3305
Recommended prerequisite
MATH1061
Assessment methods
Mid-semester exam, final end of sem exam and assignments
Course enquiries
Professor Benjamin Burton (Semester 2, Regular, St Lucia, In person)
Prof Benjamin Burton
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
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
The course will introduce students to aspects of set theory, model theory, formal logic and computability. Topics will include propositional and predicate calculus, the Zermelo-Fraenkel Axioms, ordinals and cardinals, recursive functions, Turing machines, and Godel's incompleteness theorems.
