Skip navigation

MATH3343 Foundations of Mathematics Honours

Later Year Course

Offered By Department of Mathematics
Academic Career Undergraduate
Course Subject Mathematics
Offered in First Semester, 2012 and First Semester, 2013
Unit Value 6 units
Course Description

This is a special topics course which introduces students to the key concepts and techniques of:
First order logic
Axiomatisation of set theory
Model theory
Computability
Godel's Incompleteness Theorem.

Note: This is an HPC. It emphasises mathematical rigour and proof.

Learning Outcomes

On satisfying the requirements of this course, students will have the knowledge and skills to:

1. Explain the fundamental concepts from the foundations of mathematics and its role in modern mathematics and applied contexts.
2. Demonstrate accurate and efficient use of logical and set theoretical techniques.
3. Demonstrate capacity for mathematical reasoning through analyzing, proving and explaining concepts from the foundations of mathematics.
Indicative Assessment

Assessment will be based on:

  • Assignments (100%; LO 1-3)
Workload

Offered in 2009 subject to staff availability and student demand.

Areas of Interest Mathematics
Requisite Statement

A mark of 60 or more in MATH2021 or MATH2322.

Incompatibility

with MATH3128.

Consent Required Please contact admin.teaching.msi@anu.edu.au for consent to enrol in this course.
Majors/Specialisations Mathematics
Science Group C
Academic Contact admin.teaching.msi@anu.edu.au

The information published on the Study at ANU 2012 website applies to the 2012 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2011 website.

Updated:   13 Nov 2015 / Responsible Officer:   The Registrar / Page Contact:   Student Business Solutions