Study Guide 2017-2018

MAT-60556 Mathematical Logic, 5 cr

Implementation MAT-60556 2017-01

Lessons

Period 3 - 4
Methods of instruction Muu tapahtuma, Luento, Tentti
Person responsible Esko Turunen

Assessment scale

Numerical evaluation scale (0-5)

Requirements

Examination.

Tentti Fri 04.05.2018 17:00 - 20:00
Exam Tue 05.06.2018 17:00 - 20:00
Exam Tue 02.10.2018 17:00 - 21:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 08.01.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 12.01.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 15.01.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 19.01.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 22.01.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 26.01.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 29.01.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 02.02.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 05.02.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 09.02.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 12.02.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 16.02.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 19.02.2018 14:00 - 17:00
MAT-60556 Mathematical Logic/Lec/02 (*) Fri 23.02.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 05.03.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 07.03.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 12.03.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 14.03.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 19.03.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 21.03.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 26.03.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 04.04.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 09.04.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 11.04.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 16.04.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 18.04.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/Lec/01 (*) Mon 23.04.2018 12:00 - 15:00
MAT-60556 Mathematical Logic/Lec/02 (*) Wed 25.04.2018 11:00 - 14:00
MAT-60556 Mathematical Logic/OE/01 Fri 27.04.2018 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