MAT-60556 Mathematical Logic, 5 cr
Toteutuskerta MAT-60556 2016-01
| Periodi | Ei toteuteta lukuvuonna 2016-2017. |
| Opetusmuodot | |
| Vastuuhenkilö | Esko Turunen |
Arvosteluasteikko
Numerical evaluation scale (0-5)
Suoritusvaatimukset
Examination.
Kohderyhmät
Information Technology , International Students , Jatkotutkinto-opiskelijat , Teknis-luonnontieteellinen , Tietojohtaminen
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | Lisätiedot | Kieli | Tenttimateriaali |
| Book | Proof Theory | Gaisi Takeuti | English | No | ||
| Lecture slides | Esko Turunen | Suomi | Yes |