Course level

Undergraduate

Faculty

Science

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

Assessment methods

Mid-semester exam, final end of sem exam and assignments

Course enquiries

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, 2024 (22/07/2024 - 18/11/2024) 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.

Archived offerings

Course offerings Location Mode Course Profile
Semester 2, 2023 (24/07/2023 - 18/11/2023) St Lucia In Person Course Profile
Semester 2, 2022 (25/07/2022 - 19/11/2022) St Lucia Internal Course Profile
Semester 2, 2022 (25/07/2022 - 19/11/2022) External External Course Profile
Semester 2, 2021 (26/07/2021 - 20/11/2021) External External Course Profile
Semester 2, 2021 (26/07/2021 - 20/11/2021) St Lucia Internal Course Profile
Semester 2, 2020 (03/08/2020 - 21/11/2020) External External Course Profile
Semester 2, 2020 (03/08/2020 - 21/11/2020) St Lucia Flexible Delivery Course Profile
Semester 2, 2019 (22/07/2019 - 16/11/2019) St Lucia Internal Course Profile
Semester 2, 2018 (23/07/2018 - 17/11/2018) St Lucia Internal Course Profile
Semester 2, 2017 (24/07/2017 - 18/11/2017) St Lucia Internal Course Profile
Semester 2, 2016 (25/07/2016 - 19/11/2016) St Lucia Internal Course Profile