161-241 Mathematical Logic

Subject information

Search : Index : Faculty of Arts : Philosophy
Prev 161-240 Chinese Philosophy
Next 161-246 Reasoning and Uncertainty

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 Department 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%.

Search : Index : Faculty of Arts : Philosophy
Prev 161-240 Chinese Philosophy
Next 161-246 Reasoning and Uncertainty

Status:                   Official 2005
Last Modified:            Saturday May 28 22:13
SGML to HTML Conversion:  Information Division - CWIS (SDI)
Authorised by:            Academic Registrar
Enquiries:                http://unimelb.custhelp.com/