Set Theory & Mathematical Logic (MATH3306)
Information valid for Semester 2, 2016
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
1 midterm exam, 1 final end of sem exam and problem sets.
Course enquiries
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 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.