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