Logic (MATH0050)

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.

Description

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: 306
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 8th April 2024.

听

Useful links

Sustainability

For a list of modules related to climate change as well as social and environmental sustainability at UCL, type 'climate' or 'sustainability' into the search. Visit Sustainable UCL for information on extra-curricular activity on sustainability.

Important information

The catalogue has been updated with key information about the modules that will run during the 2024/25 academic session. Current and prospective students can browse through the catalogue to consider possible module choices for the coming year.

Please note,听information in the catalogue is听subject to change as teaching and assessment arrangements for 2024/25 may need to be adjusted in line with the University's Feedback and Assessment principles and operating model.

Centrally managed exam durations will be provided on students' individual exam timetables. Arrangements for locally managed exams and in-class activity will be confirmed by the teaching department for the module.

听

新香港六合彩开奖结果