Kaisa_2012_3_photo by Veikko Somerpuro

Anmäl dig
9.12.2019 kl. 09:00 - 24.4.2020 kl. 23:59

Tidsschema

I den här delen hittar du kursens tidsschema. Kontrollera eventuella andra tider i beskrivning.

DatumTidPlats
fre 17.1.2020
12:15 - 14:00
fre 24.1.2020
12:15 - 14:00
fre 31.1.2020
12:15 - 14:00
fre 7.2.2020
12:15 - 14:00
fre 14.2.2020
12:15 - 14:00
fre 21.2.2020
12:15 - 14:00
fre 28.2.2020
12:15 - 14:00
fre 13.3.2020
12:15 - 14:00
fre 20.3.2020
12:15 - 14:00
fre 27.3.2020
12:15 - 14:00
fre 3.4.2020
12:15 - 14:00
fre 17.4.2020
12:15 - 14:00
fre 24.4.2020
12:15 - 14:00

Övrig undervisning

17.01. - 28.02.2020 fre 12.15-14.00
13.03. - 03.04.2020 fre 12.15-14.00
17.04. - 24.04.2020 fre 12.15-14.00
Åsa Hirvonen, Joni Puljujärvi
Undervisningsspråk: Engelska

Beskrivning

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.

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

Master studies

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

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

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

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.

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

Lectures and exercises

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

Exam and exercises or general exam