Opintojakso, lukuvuosi 2025–2026
MATH.MA.520
Predikaatti- ja modaalilogiikka, 5 op
Tampereen yliopisto
- Kuvaus
- Suoritustavat
Opetusperiodit
Aktiivinen periodissa 2 (20.10.2025–31.12.2025)
Aktiivinen periodissa 3 (1.1.2026–1.3.2026)
Aktiivinen periodissa 4 (2.3.2026–31.5.2026)
Koodi
MATH.MA.520Opetuskieli
suomiLukuvuodet
2024–2025, 2025–2026, 2026–2027Opintojakson taso
AineopinnotArviointiasteikko
Yleinen asteikko, 0-5Vastuuhenkilö
Vastuuopettaja:
Tomi JanhunenVastuuopettaja:
Ari Virtanen 31.7.2025 saakkaVastuuopettaja:
Kerkko Luosto 1.8.2025 alkaenVastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta 100 %
Järjestävä organisaatio
Tietotekniikan opetus 100 %
Päättely predikaattilogiikassa, predikaattilogiikan täydellisyyslause, modaalilogiikan kaavat, Kripke-semantiikka, päättely modaalilogiikassa, temporaalilogiikkaa.
Osaamistavoitteet
Esitietovaatimukset
Pakolliset esitiedot
Lisätiedot
Oppimateriaalit
Kokonaisuudet, joihin opintojakso kuuluu
Suoritustapa 1
Kaikkien osuuksien suorittaminen on pakollista.
Osallistuminen opetukseen
20.10.2025 – 07.12.2025
Aktiivinen periodissa 2 (20.10.2025–31.12.2025)
Suoritustapa 2
Avoimen yliopiston suoritustavat
Opintojakso on tarjolla myös avoimessa yliopistossa.