Key information
- Faculty
- Faculty of Mathematical and Physical Sciences
- Teaching department
- Mathematics
- Credit value
- 15
- Restrictions
-
This module is intended for third year students not on Mathematics degrees who wish to take a pure mathematics module in Logic. Students are normally expected to have obtained a good result in MATH0047 or MATH0048 or a similar mathematically demanding module.
- Timetable
-
Alternative credit options
There are no alternative credit options available for this module.
In this course, we will aim to introduce a language for (first order predicate) mathematical logic and proceed to study the interplay between the notions of `truth' and `provability' in the propositional and first order predicate 'versions' of logic. We will then aim to study computability, via register machines, recursive functions and coding, and try to use these concepts to show that first order predicate logic is undecidable. Students from outside the Mathematics Department should take this module rather than MATH0037 (previously MATH3801). Students are expected to have achieved a strong result in a previous mathematics module normally MATH0047.
Module deliveries for 2024/25 academic year
Intended teaching term:
Term 2 ÌýÌýÌý
Undergraduate (FHEQ Level 6)
Teaching and assessment
- Mode of study
- In person
- Methods of assessment
-
85%
Exam
15%
Coursework
- Mark scheme
-
Numeric Marks
Other information
- Number of students on module in previous year
-
305
- Module leader
-
Dr Isidoros Strouthos
- Who to contact for more information
- math.ugteaching@ucl.ac.uk
Last updated
This module description was last updated on 19th August 2024.
Ìý