MAT-60556 Mathematical Logic, 5 cr
Toteutuskerta MAT-60556 2018-01
Opetus
| Periodi |
3 - 4
|
| Opetusmuodot |
Monimuoto-opetus, Luento, Tentti |
| Vastuuhenkilö |
Esko Turunen |
Arvosteluasteikko
Numerical evaluation scale (0-5)
Suoritusvaatimukset
Examination.
Kohderyhmät
Information Technology , International Students , Jatkotutkinto-opiskelijat , Teknis-luonnontieteellinen , Tietojohtaminen
| 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 |
Oppimateriaali
| Tyyppi |
Nimi |
Tekijä |
ISBN |
Lisätiedot |
Kieli |
Tenttimateriaali |
| Book |
Proof Theory |
Gaisi Takeuti |
|
Will will study the book's material till page 82. |
English |
Yes |
| Lecture slides |
|
Esko Turunen |
|
|
Suomi |
Yes |
