Modaali- ja predikaattilogiikka, 5 op

Tampereen yliopisto

Kuvaus
Suoritustavat

Opetusperiodit

Koodi

MATH.MA.520

Opetuskieli

suomi

Lukuvuodet

2021–2022, 2022–2023, 2023–2024

Opintojakson taso

Aineopinnot

Arviointiasteikko

Yleinen asteikko, 0-5

Vastuuhenkilö

Vastuuopettaja:

Lauri Hella

Vastuuorganisaatio

Informaatioteknologian ja viestinnän tiedekunta 100 %

Järjestävä organisaatio

Tietotekniikan opetus 100 %

Predikaattilogiikan aakkosto ja kaavat, mallit ja tulkintafunktiot, Tarskin totuusmääritelmä, luonnollinen päättely predikaattilogiikassa, eheys- ja täydellisyyslauseet, relaatioalgebra. Modaalilogiikan kaavat, Kripke-kehykset ja -mallit, validisuus malleissa ja kehyksissä, modaalisysteemit.

Osaamistavoitteet

Esitietovaatimukset

Pakolliset esitiedot

Lisätiedot

Oppimateriaalit

Vastaavat opintojaksot

Kokonaisuudet, joihin opintojakso kuuluu

Suoritustapa 1

Kaikkien osuuksien suorittaminen on pakollista.