Opintojakso, lukuvuosi 2023–2024
MATH.MA.770
Proof Theory in Mathematical Logic, 5 op
Tampereen yliopisto
- Kuvaus
- Suoritustavat
Opetusperiodit
Aktiivinen periodissa 1 (1.8.2023–22.10.2023)
Aktiivinen periodissa 2 (23.10.2023–31.12.2023)
Aktiivinen periodissa 4 (4.3.2024–31.5.2024)
Aktiivinen periodissa 5 (1.6.2024–31.7.2024)
Koodi
MATH.MA.770Opetuskieli
englantiLukuvuodet
2021–2022, 2022–2023, 2023–2024Opintojakson taso
Syventävät opinnotArvosteluasteikko
Yleinen asteikko, 0-5Vastuuhenkilö
Vastuuopettaja:
Esko TurunenVastuuopettaja:
Lauri HellaVastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta 100 %
Järjestävä organisaatio
Tietotekniikan opetus 100 %
Ydinsisältö
- The basic ideas of Gentzen's proof theory, logical foundations of classical and intuitionistic mathematical theories.
- Equational, propositional and predicate calculus.
- Connections to meta-mathematics and computation.
- Completeness of predicate logic
Täydentävä tietämys
- Gödel's incompleteness theorems
- Peano Axioms od arithmetic
- Lindenbaum algebra, connection to Boolean and Hayting algebras
Osaamistavoitteet
Esitietovaatimukset
Lisätiedot
Oppimateriaalit
Kokonaisuudet, joihin opintojakso kuuluu
Suoritustapa 1
Attendance at lectures is not mandatory, but desirable. However, student must (a) return all course-related exercises before attending the first exam.
Kaikkien osuuksien suorittaminen on pakollista.
Tentti
13.09.2023 – 13.09.2023
Aktiivinen periodissa 1 (1.8.2023–22.10.2023)
01.11.2023 – 01.11.2023
Aktiivinen periodissa 2 (23.10.2023–31.12.2023)
08.05.2024 – 08.05.2024
Aktiivinen periodissa 4 (4.3.2024–31.5.2024)
19.06.2024 – 19.06.2024
Aktiivinen periodissa 5 (1.6.2024–31.7.2024)
Itsenäinen työskentely
04.03.2024 – 31.05.2024
Aktiivinen periodissa 4 (4.3.2024–31.5.2024)
Osallistuminen opetukseen
04.03.2024 – 31.05.2024
Aktiivinen periodissa 4 (4.3.2024–31.5.2024)