Opetusohjelma
2016–2017
Arkistoitu opetusohjelma 2016–2017
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ää 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]tuni.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:
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:
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:
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.