MAT-60556 Mathematical Logic, 5 cr
Implementation MAT-60556 2019-01
Description
A proof theoretical approach to mathematical logic; Gentzen's Theorem, Completeness of 1.st order logic. Peano Arithmetics; Gödel's incompletess theorems.
Lessons
| Period |
4
|
| Methods of instruction |
Luento, Tentti |
| Person responsible |
Esko Turunen |
Assessment scale
Numerical evaluation scale (0-5)
Requirements
Lecture diary and examination.
| 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 |
Study material
| Type |
Name |
Author |
ISBN |
Additional information |
Language |
Examination material |
| Book |
Proof Theory |
Gaisi Takeuti |
|
|
English |
No |
| Lecture slides |
|
Esko Turunen |
|
|
Suomi |
Yes |
