Course Outline |
Mathematical Logic | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
TEACHING STAFF
Name:
Dr Stephen Watson Room: 1-E335 Email:
s.watson2@uq.edu.au Consultation:
Thursday
14:00-15:00. Note: please enter the subject heading ‘MATH3306’ in all email
correspondence. Consultation Hours: If the above consultation hour is inconvenient for
you, do not hesitate to contact me to arrange a
meeting. COURSE DESCRIPTION
Perhaps surprisingly, the mathematical study of logic has made several important contributions to philosophy and to contemporary culture generally. The most important of these being due to the ramifications of Godel's proof of the undecidability of arithmetic. The course will attempt to make students familiar with some of the most important results of the mathematical study of logic. We will begin with a swift introduction to the type of logic that we'll mainly be interested in (ie. classical predicate logic) and will work up to a presentation of the Godel theorem.
LECTURES
Lectures commence in Week 1 of semester. Lecture
notes will be made available through the course homepage each week. TUTORIALS
Attendance at tutorials is optional.
The best way to learn maths is to do maths problems. Tutorials are designed to give you the opportunity to discuss and work through problems set for that purpose. TEXT
There's no set text for this course, but there are plenty of good textbooks in the libraries.
ASSESSMENT
There will be three assignments handed out fortnightly and a final exam.
The assessment is as follows:
The assignments will be given out approximately every 2 weeks in class. The mid-semester exam will be one hour long, held during one of the lectures. The date will be announced as soon as possible. Overall
To obtain the final grade, the marks will be weighted as described above and added to give a final mark out of 100. People will receive a grade from 1 to 7 if their mark is above the following cut offs.
Extensions
Cheating
Cheating, by copying others' work will be viewed harshly. And dealt with through formal University channels.
ADVICE TO STUDENTS
Students are advised to read the material
given in the lecture notes, and participate actively in tutorials. You
may also wish to attend lectures. If you apply yourselves to the task on a week-by-week basis (avoiding cramming) then you are most likely to do well and
to enjoy the course more. ASSISTANCE TO STUDENTS
There is an on-campus service available to all students who may require
assistance with more general problems relating to their academic work,
e.g. writing skills, returning to study after a long break,
preparing assignments or seminars, stress, etc. This supplementary
assistance is available through the Learning Assistance Unit — a part
of Student Support Services — in the Relaxation Block, Student Union
Complex. Telephone 336 51704. Any student who for whatever reason (not just physical
disabilities) may require alternative academic arrangements is
encouraged to seek advice from a
Disability Advisor at Student Support Services (Telephone 336 51704). . |