Skip to main content
Unit of study_

Algebra and Logic - MATH3066

This unit of study unifies and extends mathematical ideas and techniques that most participants will have met in their first and second years, and will be of general interest to all students of pure and applied mathematics. It combines algebra and logic to present and answer a number of related questions of fundamental importance in the development of mathematics, from ancient to modern times. The Propositional and Predicate Calculi are studied as model axiomatic systems in their own right, including proofs of consistency and completeness. The final part of the course introduces precise notions of computability and decidability, through abstract Turing machines, culminating in the unsolvability of the Halting Problem the undecidability of First Order Logic, and a discussion of Godel's Incompleteness Theorem. Classical and novel arithmetics are introduced, unified and described abstractly using field and ring axioms and the language of field extensions. Quotient rings are introduced, which are used to construct different finite and infinite fields. A construction of the real numbers, by factoring out rings of Cauchy sequences of rationals by the ideal of null sequences, is presented. Axiomatics are placed in the context of reasoning within first order logic and set theory.

Classes
3x1-hr lectures; 1x1-hr tutorial/wk

Assessment
Quiz (10%); 2 x assignments (30%); cognitive, problem-based final exam (60%)

Pre-requisites

6 credit points of Intermediate Mathematics

Prohibitions

MATH3062 or MATH3065

Details

Faculty: Science

Semester 1

25 Feb 2019

Department/School: Mathematics and Statistics Academic Operations
Study Mode: Normal (lecture/lab/tutorial) day
Census Date: 31 Mar 2019
Unit of study level: Senior
Credit points: 6.0
EFTSL: 0.125
Available for study abroad and exchange: Yes
Faculty/department permission required? No
Location
Camperdown
More details
Unit of Study coordinator: Florica Cirstea
HECS Band: 2
Courses that offer this unit

Non-award/non-degree study If you wish to undertake one or more units of study (subjects) for your own interest but not towards a degree, you may enrol in single units as a non-award student. Cross-institutional study If you are from another Australian tertiary institution you may be permitted to undertake cross-institutional study in one or more units of study at the University of Sydney.

To help you understand common terms that we use at the University, we offer an online glossary.