Opetusohjelma
2014–2015
Arkistoitu opetusohjelma 2014–2015
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA11
Johdatus logiikkaan 2
5
op
Periodit
Opetuskieli
suomi
Tyyppi
Aineopinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
-
MTTMA11
Johdatus logiikkaan 2
Osallistuminen opetukseen - Luennot, harjoitukset ja loppukoe
Matematiikan ja tilastotieteen tutkinto-ohjelma
Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
Osaamistavoitteet
Opintojakson suorittanut opiskelija ymmärtää mallin käsitteen, sekä totuusmääritelmän. Hän osaa tutkia, onko annettu kaava tosi annetussa mallissa käyttäen tulkintafunktion käsitettä. Hän osaa myös kirjoittaa itse predikaattilogiikan kaavoja, jotka ilmaisevat yksinkertaisia mallien ominaisuuksia. Opiskelija osaa lisäksi tuottaa luonnollisia päättelyitä valideille predikaattilogiikan lauseille. Edelleen opiskelija ymmärtää eheys- ja täydellisyyslauseiden todistusten pääperiaatteet, ja kykenee todistamaan niihin liittyviä aputuloksia.
Tutkinto-opiskelijoiden ilmoittautuminen
Ilmoittautuminen oheisella lomakkeella
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi
Opintojakson kotisivu
Opetus
27.10.2014
–
18.12.2014
Luento-opetus
Ti 28.10.2014 - 16.12.2014 viikoittain klo 14-16, Päätalo A2b
To 30.10.2014 - 18.12.2014 viikoittain klo 14-16, Päätalo A2b
Harjoitukset
Ryhmä 1
Ma 3.11.2014 - 15.12.2014 viikoittain klo 10-12, Pinni B1084
Poikkeukset:
Poikkeukset:
24.11.2014
, Pinni B0020
Ryhmä 2
Ti 4.11.2014 - 16.12.2014 viikoittain klo 12-14, Pinni B4116