MAT-60556 Mathematical Logic, 5 cr

Implementation MAT-60556 2019-01

Description

A proof theoretical approach to mathematical logic; Gentzen's Theorem, Completeness of 1.st order logic. Peano Arithmetics; Gödel's incompletess theorems.

Lessons

Period 4
Methods of instruction Luento, Tentti
Person responsible Esko Turunen

Assessment scale

Numerical evaluation scale (0-5)

Requirements

Lecture diary and examination.

Exam Tue 12.05.2020 17:00 - 20:00
Exam Tue 23.06.2020 17:00 - 20:00
MAT-60556 Mathematical Logic/Lec/01 Mon 02.03.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 06.03.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 09.03.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 13.03.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 16.03.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 20.03.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 23.03.2020 14:00 - 17:00
(Peruttu) MAT-60556 Mathematical Logic/Lec/02 Fri 27.03.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 30.03.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 03.04.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 06.04.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 17.04.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 20.04.2020 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 24.04.2020 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Mon 27.04.2020 14:00 - 17:00

Study material

Type Name Author ISBN Additional information Language Examination material
Book Proof Theory Gaisi Takeuti English No
Lecture slides Esko Turunen Suomi Yes