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 |