x !
Arkistoitu opetusohjelma 2016–2017
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMS8 Matemaattinen logiikka 10 op
Periodit
I Periodi II Periodi II Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
Matematiikan ja tilastotieteen tutkinto-ohjelma
Informaatiotieteiden yksikkö

Osaamistavoitteet

Opintojakson suoritettuaan 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. Opiskelija ymmärtää määriteltävyyden käsitteen ja osaa todistaa yksinkertaisia määrittelemättömyystuloksia Ehrenfeucht-Fraïssé pelien avulla.

Tutkinto-opiskelijoiden ilmoittautuminen

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

Lauri Hella, Vastaava opettaja
Lauri.Hella[ät]uta.fi

Opintojakson kotisivu

Opetus

10.1.2017 – 19.5.2017
Luento-opetus
Ti 10.1.2017 - 9.5.2017 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
31.1.2017 , ei opetusta
11.4.2017 , ei opetusta.
18.4.2017 , pääsiäisloma, ei opetusta
To 12.1.2017 - 11.5.2017 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
2.3.2017 klo 14 –17 , 1. välikoe
23.3.2017 , Pinni B2077
13.4.2017 , pääsiäisloma, ei opetusta
20.4.2017 , ei opetusta.
11.5.2017 , ei opetusta
Pe 12.5.2017 klo 12-15, Pinni B1083, toinen välikoe.
Harjoitukset
Ma 16.1.2017 - 15.5.2017 viikoittain klo 14-16, Pinni B1083
Poikkeukset:
6.3.2017 , ei harjoituksia
17.4.2017 , pääsiäisloma, ei opetusta
24.4.2017 , ei opetusta.
1.5.2017 , ei opetusta. Harjoitukset siirretty tiistaille 2.5. klo 12-14 (Pinni B0016)

Arviointi

Numerolla 1-5.