Home - ACU (The Australian Catholic University)

Site Navigation

MATH117 Mathematical Logic and Proof

10 cp
Prerequisite: Year 12 Advanced Mathematics) (NSW); Further Mathematics or Mathematical Methods (Vic) assumed
Teaching Organisation: 4 contact hours per week for twelve weeks or equivalent.

This unit investigates and develops many of the most common methods of proof in mathematics. These methods are motivated by consideration of several topics that require these techniques. The unit will begin with an introduction to logic and several methods of proof. These will be developed in topics including basic combinatorics, number theory and some simple transfinite set results.

Sub-site navigation

Units 2012