Set Theory & Mathematical Logic (MATH3306)
Information valid for Semester 2, 2019
Course level
Undergraduate
Faculty
Schools
Historical & Philosophical Inq, Mathematics & Physics School
Units
2
Duration
One Semester
Delivery mode
Internal
Class hours
3L 1T
Incompatible
MATH3304 or 3305
Recommended prerequisite
MATH1061
Assessment methods
Mid-semester exam, final end of sem exam and problem sets.
Course enquiries
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 Gödel¿s incompleteness theorems.