MAT-60556 Mathematical Logic, 5 cr
Toteutuskerta MAT-60556 2017-01
Opetus
| Periodi |
3 - 4
|
| Opetusmuodot |
Muu tapahtuma, 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 |
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 |
Oppimateriaali
| Tyyppi |
Nimi |
Tekijä |
ISBN |
Lisätiedot |
Kieli |
Tenttimateriaali |
| Book |
Proof Theory |
Gaisi Takeuti |
|
|
English |
No |
| Lecture slides |
|
Esko Turunen |
|
|
Suomi |
Yes |
