### Instruction

Name | Cr | Method of study | Time | Location | Organiser |
---|---|---|---|---|---|

Mathematical logic | 10 Cr | Lecture Course | 14.1.2020 - 28.4.2020 |

Name | Cr | Method of study | Time | Location | Organiser |
---|---|---|---|---|---|

Mathematical logic | 10 Cr | General Examination | 7.8.2019 - 7.8.2019 | ||

Mathematical logic | 10 Cr | General Examination | 12.6.2019 - 12.6.2019 | ||

Mathematical logic | 10 Cr | General Examination | 22.5.2019 - 22.5.2019 | ||

Mathematical logic | 10 Cr | Lecture Course | 29.1.2019 - 3.5.2019 | ||

Mathematical logic | 10 Cr | General Examination | 12.12.2018 - 12.12.2018 | ||

Mathematical logic | 10 Cr | General Examination | 8.8.2018 - 8.8.2018 | ||

Mathematical logic | 10 Cr | General Examination | 13.6.2018 - 13.6.2018 | ||

Mathematical logic | 10 Cr | General Examination | 23.5.2018 - 23.5.2018 | ||

Mathematical logic | 10 Cr | Lecture Course | 15.1.2018 - 3.5.2018 | ||

Mathematical logic | 10 Cr | General Examination | 13.12.2017 - 13.12.2017 | ||

Mathematical logic | 10 Cr | General Examination | 20.9.2017 - 20.9.2017 |

### Target group

Optional course.

Master's Programme in Mathematics and Statistics is responsible for the course.

The course belongs to the Mathematics and Applied mathematics module.

The course is available to students from other degree programmes.

### Prerequisites

Mathematical routine aquired during B.Sc. level mathematics courses. Introduction to logic I&II help, but are not strictly necessary.

### Learning outcomes

The course gives basic knowledge in the strengths and limitations of formal proofs

### Timing

Recommended time/stage of studies for completion: 1. year

Term/teaching period when the course will be offered: varying

### Contents

The main topics of the course are the completeness theorems of propositional and predicate logic and Gödel's incompleteness theorems. Methods and topics needed for these are formal deduction, definability, primitive recursive and recursive functions.

### Activities and teaching methods in support of learning

Lectures and exercises

### Study materials

Jouko Väänänen ”Matemaattinen logiikka” (alternatively e.g. Herbert B. Enderton ”A Mathematical Introduction to Logic”)

### Assessment practices and criteria

Exam and excercises, Course will be graded with grades 1-5

### Recommended optional studies

Master studies

### Completion methods

Exam and exercises or general exam