Mathematical Logic

Subject 672-363 (2008)

Note: This is an archived Handbook entry from 2008.Search for this in the current handbook

Credit Points: 12.500
Level: Undergraduate
Dates & Locations:

This subject is not offered in 2008.
Time Commitment: Contact Hours: Thirty-five contact hours per semester: two 1-hour lectures per week for the whole semester and a 1-hour tutorial per week beginning the second week of semester
Total Time Commitment: Not available
Prerequisites: Background in symbolic logic, eg. or equivalent, or permission from the Head of School or subject coordinator.
Corequisites: None
Recommended Background Knowledge: None
Non Allowed Subjects: None
Core Participation Requirements:

For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.

It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability

Coordinator

Dr Allen Hazen
Subject Overview:

Continuation of the subject , looking at issues in the foundations of mathematics and Gödel's incompleteness Theorem.

Assessment: Weekly exercises totalling 2000 words 30%, a 2-hour end-of-semester exam 67%, and tutorial participation 3%.
Prescribed Texts: Prescribed Texts:A subject reader will be available from the Bookroom at the beginning of semester
Breadth Options:

This subject is not available as a breadth subject.
Fees Information: Subject EFTSL, Level, Discipline & Census Date
Generic Skills:

  • acquire the ability to reason rigorously about abstract issues;

  • acquire the ability to reason mathematically about non-numerical matters;

  • acquire the ability to solve abstractly posed problems.

Download PDF version.