MAT-60556 Mathematical Logic, 5 cr
Toteutuskerta MAT-60556 2019-01
Kuvaus
A proof theoretical approach to mathematical logic; Gentzen's Theorem, Completeness of 1.st order logic. Peano Arithmetics; Gödel's incompletess theorems.
Opetus
Periodi | 4 |
Opetusmuodot | Luento, Tentti |
Vastuuhenkilö | Esko Turunen |
Arvosteluasteikko
Numerical evaluation scale (0-5)
Suoritusvaatimukset
Lecture diary and examination.
Kohderyhmät
Information Technology , International Students , Jatkotutkinto-opiskelijat , Teknis-luonnontieteellinen , Tietojohtaminen
Exam | Tue 12.05.2020 | 17:00 - 20:00 |
Exam | Tue 23.06.2020 | 17:00 - 20:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 02.03.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 06.03.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 09.03.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 13.03.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 16.03.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 20.03.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 23.03.2020 | 14:00 - 17:00 |
(Peruttu) MAT-60556 Mathematical Logic/Lec/02 | Fri 27.03.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 30.03.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 03.04.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 06.04.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 17.04.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/01 | Mon 20.04.2020 | 14:00 - 17:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Fri 24.04.2020 | 12:00 - 15:00 |
MAT-60556 Mathematical Logic/Lec/02 (*) | Mon 27.04.2020 | 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 |