Note: This is an archived Handbook entry from 2008.Search for this in the current handbook
|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.|
|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
CoordinatorDr 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:|| |
Download PDF version.