menuicon

Undergraduate Study

MATH3066 Algebra and Logic

General Information

This page contains information on the senior mainstream unit of study MATH3066.

  • Taught in Semester 1.
  • Credit point value: 6.
  • Classes per week: Three lectures and one tutorial.
  • Lecturer(s): Oded Yacobi .

Please refer to the Senior Mathematics and Statistics Handbook for all questions relating to Senior Mathematics and Statistics. In particular, see the handbook entry for MATH3066 for further information relating to MATH3066.

You may also view the description of MATH3066 and the description of in the University's course search database.

For enrolled students or other authorized people only, here is a link to the Canvas page for MATH3066.

Students have the right to appeal any academic decision made by the School or Faculty: see sydney.edu.au/students/academic-appeals.html.

Consultation

11:00 – 12:00 Wednesday, Carslaw 724 and Zoom

Assessment

Date*DescriptionBetter markWeighting
23:59 April 16 Assignment 1 20%
23:59 May 28 Assignment 2 20%
Exam 60%
All dates are given in Sydney time.

References

Lemmon, E.J., Beginning Logic

Proof checker

Oliver Scarlet wrote a very useful applet to verify if your formal proofs are correct. Here is the link.

Online resources

Resources Canvas Lecture recordings Ed Discussion
Monday lectures Wednesday lectures Thursday lectures Tutorials Assessment
Week 1
1/3-5/3
Lecture 1-1 Lecture 1-2 Lecture 1-3
Week 2
8/3-12/3
Lecture 2-1 Lecture 2-2 Lecture 2-3 Tutorial 2 questions
Tutorial 2 solutions
Week 3
15/3-19/3
Lecture 3-1 Lecture 3-2 Lecture 3-3 Tutorial 3 questions
Tutorial 3 solutions
Week 4
22/3-26/3
Lecture 4-1 Lecture 4-2 Lecture 4-3 Tutorial 4 questions
Tutorial 4 solutions
Week 5
29/3-2/4
Lecture 5-1 Lecture 5-2 Lecture 5-3 Tutorial 5 questions
Good Friday
Assignment 1 - questions
Mid-semester break
Week 6
12/4-16/4
Lecture 6-1 Lecture 6-2 Lecture 6-3 Tutorial 6 questions
Tutorial 6 solutions
Assignment 1 (20%)
Due 23:59 April 16
Week 7
19/4-23/4
Lecture 7-1 Lecture 7-2 Lecture 7-3 Tutorial 7 questions
Tutorial 7 solutions
Week 8
26/4-30/4
Lecture 8-1 Lecture 8-2 Lecture 8-3 Tutorial 8 questions
Tutorial 8 solutions
Assignment 1 - solutions
Week 9
3/5-7/5
Lecture 9-1 Lecture 9-2 Lecture 9-3 Tutorial 9 questions
Tutorial 9 solutions
Week 10
10/5-14/5
Lecture 10-1 Lecture 10-2 Lecture 10-3 Tutorial 10 questions
Tutorial 10 solutions
Assignment 2 - questions
Week 11
17/5-21/5
Lecture 11-1 Lecture 11-2 Lecture 11-3 Tutorial 11 questions
Tutorial 11 solutions
Week 12
24/5-28/5
Lecture 12-1 Lecture 12-2 Lecture 12-3 Tutorial 12 questions
Tutorial 12 solutions
Assignment 2 (20%)
Due 23:59 May 28
Week 13
31/5-4/6
Lecture 13-1 Lecture 13-3