Opetusohjelma
2018–2019
Arkistoitu opetusohjelma 2018–2019
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA11
Johdatus logiikkaan 2
5
op
Myös avoimen yliopisto-opetuksen opiskelijoille
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
Luonnontieteiden tiedekunta
Luonnontieteiden tiedekunta
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
Entisen TTY:n opiskelijat ilmoittautuvat jaksolle ristiinopiskelupalvelun ohjeiden mukaisesti.
Ilmoittautuminen Nettiopsussa on päättynyt
Avoimen yliopisto-opetuksen ilmoittautuminen
1.2. klo 10 -17.2.2019
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi
Manu Harsu, Opettaja
Rene Löfberg, Opettaja
Opintojakson kotisivu
Opetus
4.3.2019
–
26.5.2019
Luento-opetus
Tiistain luennot
Ti 5.3.2019 - 30.4.2019 viikoittain klo 14-16, Paavo Koli -sali, Pinni A
Torstain luennot
To 7.3.2019 - 11.4.2019 viikoittain klo 14-16, Paavo Koli -sali, Pinni A
Poikkeukset:
Poikkeukset:
25.4.2019
, ei luentoa
Kurssikoe
To 2.5.2019 klo 14-17, LS B1096, Pinni B
Harjoitukset
Ti 12.3.2019 - 16.4.2019 viikoittain klo 12-14, LS B1083, Pinni B
To 14.3.2019 - 18.4.2019 viikoittain klo 12-14, LS B1083, Pinni B
Arviointi
Numerolla 1-5.