Useful links
Microsoft office 365 disruptions
There is a global Microsoft 365 service degradation affecting University access to Outlook email and, in some cases, other M365 applications. You are advised to use alternative communication channels. Existing enquiries submitted through the Services Portal continue to be progressed, with updates remaining accessible to students. We encourage students to regularly check their enquiries via the Portal for the latest information and outcomes, while Outlook services remain unavailable. If you need support, contact the University Service Desk on 9351 2000, Student Centre on 1800 SYD UNI (1800 793 864) or Protective Services on 1800 SYD HLP (1800 793 457). Students can connect with Student Wellbeing via the Student Wellbeing Portal.
Unit of study_
MATH3066: Algebra and Logic
2027 unit information
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. Classical and novel arithmetics are introduced, unified and described abstractly using field and ring axioms and the language of field extensions. A range of applications may be presented, in particular, impossibility arguments such as the unsolvability of the celebrated classical construction problems of the Greeks. Quotient rings are introduced, culminating in a construction of the real numbers, by factoring out rings of Cauchy sequences of rationals by the ideal of null sequences. Axiomatics are placed in the context of reasoning within first order logic and set theory. The Propositional and Predicate Calculi are studied as model axiomatic systems in their own right, including sketches of 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 and the undecidability of First Order Logic.
Unit details and rules
Managing faculty or University school:
Science
| Study level | Undergraduate |
|---|---|
| Academic unit | Mathematics and Statistics Academic Operations |
| Credit points | 6 |
|
Prerequisites:
?
|
6 credit points of MATH2XXX |
|---|---|
|
Corequisites:
?
|
None |
| Prohibitions:
?
|
MATH3062 or MATH3065 |
| Assumed knowledge:
?
|
None |
At the completion of this unit, you should be able to:
- LO1. be fluent in analysing and constructing logical arguments
- LO2. be conversant with the Propositional and Predicate Calculi, and related notions of syntax (deduction) and semantics (completeness)
- LO3. be informed about the historical underpinnings of abstract algebra that lead to axiomatic theories of groups, rings, integral domains and fields, and their use in exploring questions of decidability or impossibility
- LO4. be fluent with a range of standard and exotic arithmetics and ring constructions, and be able to prove elementary propositions and theorems about them
- LO5. understand the Halting Problem and Turing’s use of it to prove the undecidability of first order logic.
Unit availability
This section lists the session, attendance modes and locations the unit is available in. There is a unit outline for each of the unit availabilities, which gives you information about the unit including assessment details and a schedule of weekly activities.
The outline is published 2 weeks before the first day of teaching. You can look at previous outlines for a guide to the details of a unit.
| Session | MoA ? | Location | Outline ? |
|---|---|---|---|
|
Semester 1 2027
|
Normal day | Camperdown/Darlington, Sydney |
Outline unavailable
|
Find your current year census dates
Modes of attendance (MoA)
This refers to the Mode of attendance (MoA) for the unit as it appears when you’re selecting your units in Sydney Student. Find more information about modes of attendance on our website.
Disclaimer
Important: the University of Sydney regularly reviews units of study and reserves the right to change the units of study available annually. To stay up to date on available study options, including unit of study details and availability, refer to the relevant handbook.
To help you understand common terms that we use at the University, we offer an online glossary.