Course level

Undergraduate

Faculty

Science

Schools

Historical & Philosophical Inq, Mathematics & Physics School

Units

2

Duration

One Semester

Class contact

3L 1T

Incompatible

MATH3304 or 3305

Recommended prerequisite

Assessment methods

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

Course coordinator

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, 2017 St Lucia Internal Course Profile

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, 2016 St Lucia Internal Course Profile
Semester 2, 2010 St Lucia Internal Course Profile
Semester 2, 2008 St Lucia Internal Course Profile