MA3Y8: Mathematical Logic

Module Provider:

Mathematics

Number of credits:

10 [5 ECTS credits]

Level:

H (Honours)

Terms in which taught:

Autumn, Spring and Summer

Module Convenor:

Dr WR Johnstone

Pre-requisites:

MA11A or MA11D

Co-requisites:

Modules excluded:

Module version for:

2007/8

Aims:
To introduce the idea that mathematical reasoning can itself be the subject of mathematical reasoning; to add variety to students' mathematical experience, in the form of a unit substantially different in character from most others.

Assessable learning outcomes:
By the end of the module students are expected to be able to:

Additional outcomes:

Outline content:
There will first be a discussion of truth functions and truth tables, normal forms and validity of arguments, and then the ideas of tautology and consistency will be introduced in a more formal way. After that, predicate calculus and first-order languages will be discussed; the quantifiers "for all" and "there exists" will be introduced, and satisfaction, truth, and logical validity will be explained. Finally there will be a discussion of Godel's Incompleteness theorem.

Brief description of teaching and learning methods:
Lectures supported by problem sheets

Contact hours:

Assessment:
Coursework
Relative percentage of coursework : 0%
Penalties for late submission
For pieces of work contributing more than 10%: deduction of 10 marks (out of 100) up to one week after the deadline, thereafter a mark of zero.
Examinations
An exam of one and a half hours requiring the answers to two questions from three. This contributes 100% of the overall assessment.
Requirements for a pass
A mark of 40% overall.
Reassessment arrangements
Re-examination in August/September only.