# DEGREE REGULATIONS & PROGRAMMES OF STUDY 2014/2015 Archive for reference only THIS PAGE IS OUT OF DATE

 University Homepage DRPS Homepage DRPS Search DRPS Contact
DRPS : Course Catalogue : School of Philosophy, Psychology and Language Sciences : Philosophy

# Postgraduate Course: Mathematical Logic (MSc) (PHIL11044)

 School School of Philosophy, Psychology and Language Sciences College College of Humanities and Social Science Credit level (Normal year taken) SCQF Level 11 (Postgraduate) Availability Available to all students SCQF Credits 20 ECTS Credits 10 Summary A one-semester course in mathematical logic covering the following topics. Basic arithmetic and set theory (including cardinality, diagonalization, inductive definitions). Review of introductory logic. The Completeness theorem for first-order logic and related metalogical results. Theory of computability (Turing machines and recursive functions). Axiomatic systems of arithmetic. Limitative results: undecidability and incompleteness). Supplementary topics may include extended logics (modal and second-order) and non-classical logics (intuitionistic and many-valued) logics. Shared with UG Course PHIL10053 Mathematical Logic. Course description Not entered
 Pre-requisites Students MUST have passed: Logic 1 (PHIL08004) Co-requisites Prohibited Combinations Other requirements Students holding an undergraduate degree from another institution should have passed an introductory course in logic before taking this course.
 Pre-requisites Visiting students should have passed an introductory course in logic. We will only consider University/College level courses.
 Not being delivered
 Students who have completed this course should be able to: * Demonstrate a good understanding of the semantics (and deductive systems) for propositional and first-order logic * Demonstrate a good understanding of the proofs of the soundness and completeness theorems, and related metalogical results, for propositional and first-order logic * Demonstrate a good understanding of the formalization of arithmetic, and the limitative / incompleteness results for formal systems of arithmetic
 None
 Graduate Attributes and Skills Not entered Keywords Not entered
 Course organiser Dr Tillman Vierkant Tel: (0131 6)51 3748 Email: T.Vierkant@ed.ac.uk Course secretary Miss Lynsey Buchanan Tel: (0131 6)51 5002 Email: Lynsey.Buchanan@ed.ac.uk
 Navigation Help & Information Home Introduction Glossary Search DPTs and Courses Regulations Regulations Degree Programmes Introduction Browse DPTs Courses Introduction Humanities and Social Science Science and Engineering Medicine and Veterinary Medicine Other Information Combined Course Timetable Prospectuses Important Information
© Copyright 2014 The University of Edinburgh - 12 January 2015 4:38 am