Key information
- Faculty
- Faculty of Mathematical and Physical Sciences
- Teaching department
- Mathematics
- Credit value
- 15
- Restrictions
-
This module is normally taken by third year students on single or combined honours degrees who have taken MATH0006 Algebra 2. It is not open to students from other departments, who should take MATH0050 Logic instead.
- 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.
Module deliveries for 2024/25 academic year
Intended teaching term:
Term 1 听听听
Undergraduate (FHEQ Level 6)
Teaching and assessment
- Mode of study
- In person
- Methods of assessment
-
90%
Exam
10%
Coursework
- Mark scheme
-
Numeric Marks
Other information
- Number of students on module in previous year
-
0
- Module leader
-
Dr Lars Louder
- Who to contact for more information
- math.ugteaching@ucl.ac.uk
Last updated
This module description was last updated on 8th April 2024.
听
Close
