Opetusohjelma
2012–2013
Arkistoitu opetusohjelma 2012–2013
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.
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]uta.fi
Raine Rönnholm, Opettaja
raine.ronnholm[ät]uta.fi
Opintojakson kotisivu
Opetus
Luento-opetus
Ti 8.1.2013 - 14.5.2013 viikoittain klo 14-16, Päätalo A2a, Ei opetusta viikolla 10, eikä 2.4.
Poikkeukset:
Poikkeukset:
7.5.2013
, Linna K110
To 10.1.2013 - 16.5.2013 viikoittain klo 12-14, Päätalo A2a, Ei opetusta viikolla 10.
Poikkeukset:
Poikkeukset:
18.4.2013
, Päätalo A3
25.4.2013
, Päätalo A32
Harjoitukset
Ke 16.1.2013 - 15.5.2013 viikoittain klo 10-12, Päätalo A2a, Ei opetusta viikolla 10, eikä 3.4.
Poikkeukset:
Poikkeukset:
24.4.2013
, Päätalo A2b
Arviointi
Numerolla 1-5.
Lisätiedot
HUOM. Luennot ja harjoitukset peruttu 12.-14.2.