MATH3065 Logic and Foundations

General Information

This page contains information on the Senior normal Unit of Study MATH3065: Logic and Foundations.

• Taught in Semester 1.
• Credit point value: 6.
• Classes per week: Three lectures and one tutorial.
• Lecturer(s): Humphrey Gastineau-Hills.

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

You may also view the Faculty Handbook entry for MATH3065 from the central units of study database.

Information Sheet

There is an Information Sheet, in PDF format, containing a course outline and other important information.

Printed Notes

There is a set of printed notes for this course: "Logic and Foundations" by Humphrey Gastineau-Hills, available from Kopystop, 55 Mountain St, Broadway. This set of notes includes the tutorial exercises.

THERE IS AN ERROR IN THE PRINTED NOTES. on page 90. In Definition 4.10, item 3, the phrase "or a 1 to 1 function," should be deleted.

Pre exam Consultations

Your lecturer for MATH3065 will be available in Carslaw 525 for pre exam consultations at the following times(other times by appointment).

Wed June 10: 10am-12noon; Mon June 15: 10am-12noon; Fri June 19 9am-11am; Mon June 22: 12am to 2pm.

Last Year's Exam

Download last year's MATH3065 exam. This paper will be discussed in the final week's lectures, so bring a copy. Solutions will not be put on the web, but you are welcome to discuss solutions at a consultation.

Assignments

You may check your assignment marks: see the "Check your marks" window below.

Assignment 1	Solutions to Assignment 1
Assignment 2	Solutions to Assignment 2

 

Tutorials

There will be 12 tutorials, starting in week 2, so Tutorial n will be held in week n+1.

The tutorial questions are given in the printed notes, but will also be given here week by week, in PDF format. Please bring the relevant questions to each tutorial, having studied them in advance (tutorial participation marks may depend on evidence of this study). Solutions to each week's tutorial will be placed here, in PDF format, by the following week.

You may check your Tutorial Participation mark (which contribute to assessment to a maximum of 10, i.e., 10, 11, 12 will all contribute 10): see the "Check your marks" window below.

Tutorial 1	Solutions to Tutorial 1
Tutorial 2	Solutions to Tutorial 2
Tutorial 3	Solutions to Tutorial 3
Tutorial 4	Solutions to Tutorial 4
Tutorial 5	Solutions to Tutorial 5
Tutorial 6	Solutions to Tutorial 6
Tutorial 7	Solutions to Tutorial 7
Tutorial 8	Solutions to Tutorial 8
Tutorial 9	Solutions to Tutorial 9
Tutorial 10	Solutions to Tutorial 10
Tutorial 11	Solutions to Tutorial 11
Tutorial 12	Solutions to Tutorial 12

 

The Mars Bar Challenge

Win a Mars Bar by solving one or both MARS BAR CHALLENGE problems.

Timetable

Last revised 21/05/09

All rooms are in the Carslaw building unless otherwise indicated.