x !
Arkistoitu opetusohjelma 2016–2017
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA11 Johdatus logiikkaan 2 5 op
Myös avoimen yliopisto-opetuksen opiskelijoille
Periodit
I Periodi II Periodi III Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Aineopinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
Matematiikan ja tilastotieteen tutkinto-ohjelma
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

Kurssilta varataan vähintään 30 paikkaa TTY:n opiskelijoille (ristiinopiskelutarjonta).

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

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

Opintojakson kotisivu

Opetus

25.10.2016 – 15.12.2016
Luento-opetus
Ti 25.10.2016 - 13.12.2016 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
8.11.2016 , Pinni A3111.
6.12.2016 , Itsenäisyyspäivä, ei opetusta.
To 27.10.2016 - 15.12.2016 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
3.11.2016 klo 14.00 –15.30 , Päätalo C6
Harjoitukset
To 3.11.2016 - 15.12.2016 viikoittain klo 12-14, Päätalo A2a
Poikkeukset:
3.11.2016 , Pinni B0020

Arviointi

Numerolla 1-5.