Study Guide 2018-2019

MAT-60556 Mathematical Logic, 5 cr

Implementation MAT-60556 2018-01

Lessons

Period 3 - 4
Methods of instruction Monimuoto-opetus, Luento, Tentti
Person responsible Esko Turunen

Assessment scale

Numerical evaluation scale (0-5)

Requirements

Examination.

Tentti Tue 07.05.2019 13:00 - 16:00
Exam Wed 12.06.2019 17:00 - 20:00
Exam Thu 24.10.2019 17:00 - 20:00
MAT-60556 Mathematical Logic/O/01 Mon 04.03.2019 09:00 - 12:00
MAT-60556 Mathematical Logic/Lec/01 Mon 07.01.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 11.01.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 14.01.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 18.01.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 21.01.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 25.01.2019 12:00 - 16:00
MAT-60556 Mathematical Logic/Lec/01 Mon 28.01.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 01.02.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 04.02.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 08.02.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 11.02.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 15.02.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 18.02.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 22.02.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 04.03.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 08.03.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 11.03.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 15.03.2019 12:00 - 16:00
MAT-60556 Mathematical Logic/Lec/01 Mon 18.03.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 22.03.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 25.03.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 29.03.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 01.04.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 05.04.2019 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 Mon 08.04.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 12.04.2019 12:00 - 16:00
MAT-60556 Mathematical Logic/Lec/01 Mon 15.04.2019 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 26.04.2019 12:00 - 15:00

Study material

Type Name Author ISBN Additional information Language Examination material
Book Proof Theory Gaisi Takeuti Will will study the book's material till page 82. English Yes
Lecture slides Esko Turunen Suomi Yes