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