Opetusohjelma
2014–2015
Arkistoitu opetusohjelma 2014–2015
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMS8
Matemaattinen logiikka
10
op
Periodit
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
-
MTTMS8
Matemaattinen logiikka
Osallistuminen opetukseen - Luennot, harjoitukset ja välikokeet
Matematiikan ja tilastotieteen tutkinto-ohjelma
Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
Osaamistavoitteet
Opintojakson suoritettuaan opiskelija ymmärtää määriteltävyyden käsitteen ja osaa todistaa yksinkertaisia määrittelemättömyystuloksia Ehrenfeucht-Fraïssé pelien avulla. Opiskelija ymmärtää sekventtikalkyylin periaatteet ja osaa muodostaa todistuksia sitä käyttäen. Hän tuntee kompaktisuuslauseen, ja osaa itsenäisesti soveltaa sitä mallikonstruktioihin. Opiskelija tietää, miten Gödelin epätäydellisyyslause todistetaan, ja hänellä on selkeä käsitys tämän lauseen seurauksista logiikassa ja matematiikassa.
Tutkinto-opiskelijoiden ilmoittautuminen
Ilmoittautuminen oheisella lomakkeella.
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi
Opintojakson kotisivu
Opetus
8.1.2015
–
8.5.2015
Luento-opetus
To 8.1.2015 - 7.5.2015 viikoittain klo 14-16, Pinni B3110, ei opetusta 12.2., 12.3. eikä 2.4.
Ti 13.1.2015 - 5.5.2015 viikoittain klo 14-16, Pinni B0039, ei opetusta 10.2., 10.3. eikä 7.4.
Harjoitukset
Ti 20.1.2015 - 5.5.2015 viikoittain klo 12-14, Pinni B0020, ei opetusta 17.2., 10.3. eikä 7.4.
Lisätiedot
Toinen välikoe pidetään perjantaina 8.5. klo 12-14 salissa Pinni B4113.