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

1 midterm exam, 1 final end of sem exam and problem sets.

Course enquiries

Ben Burton (bab@maths.uq.edu.au)

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 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.

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