Course level

Undergraduate

Faculty

Science

Schools

History,Philos,Religion&Class, Mathematics & Physics School

Units

2

Duration

One Semester

Delivery mode

Internal

Class contact

3L 1T

Incompatible

MATH3304 or 3305

Recommended prerequisite

Assessment methods

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

Course coordinator

Dr Murray Elder (melder@maths.uq.edu.au)

Current course offerings

Course offerings Location Mode Course Profile
Semester 2, 2018 St Lucia Internal Course Profile
Semester 2, 2019 St Lucia Internal Profile unavailable

Please Note: Course profiles marked as not available may still be in development.

Course description

(offered in even years only) 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, 2017 St Lucia Internal Course Profile
Semester 2, 2016 St Lucia Internal Course Profile
Semester 2, 2010 St Lucia Internal Course Profile