161-241 Mathematical Logic

Subject information

Search : Index : Faculty of Arts : Philosophy
Prev 161-240 Chinese Philosophy
Next 161-247 The Structure of Reality

161-241 Mathematical Logic
Availability	2nd and 3rd year
Credit Points	12.5
Coordinator	Dr Allen Hazen
Prerequisites	Background in symbolic logic, eg. 161-016 Metatheory or equivalent, or permission from the Head of School or subject coordinator.
Semester	2 (view timetable)
Contact	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
Subject Description	Continuation of the subject 161-016 Metatheory, looking at issues in the foundations of mathematics and Gödel's incompleteness Theorem.
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.
Assessment	Weekly exercises totalling 2000 words 30%, a 2-hour end-of-semester exam 67%, and tutorial participation 3%.
Prescribed Texts	A subject reader will be available.

Search : Index : Faculty of Arts : Philosophy
Prev 161-240 Chinese Philosophy
Next 161-247 The Structure of Reality

Status:                   Official 2007
Last Modified:            Tuesday October 31 22:20
SGML to HTML Conversion:  Information Division - CWIS (SDI)
Authorised by:            Academic Registrar
Enquiries:                http://unimelb.custhelp.com/