Course level

Undergraduate

Faculty

Science

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

Assessment methods

Mid-semester exam, final end of sem exam and problem sets.

Course enquiries

Dr Chul-hee Lee

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 Gödel¿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