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