x !
Arkistoitu opetusohjelma 2016–2017
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA10 Johdatus logiikkaan 1 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 osaa itsenäisesti tutkia, onko annettu propositiolause tautologia, tai päteekö looginen seuraus annetun lausejoukon ja lauseen välillä. Hän tuntee opintojaksolla opetetut menetelmät näiden kysymysten ratkaisemiseen, ja osaa valita menetelmistä tilanteeseen parhaiten sopivan. Hän ymmärtää sekä semanttisten puiden menetelmän, että luonnollisen päättelyn periaatteet, ja osaa todistaa eheyslauseen ja täydellisyyslauseen todistuksiin liittyvät keskeiset aputulokset.

Tutkinto-opiskelijoiden ilmoittautuminen

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

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

Opintojakson kotisivu

Opetus

8.9.2016 – 20.10.2016
Luento-opetus
Ke 7.9.2016 klo 12-14, Päätalo C6
To 8.9.2016 - 20.10.2016 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
20.10.2016 klo 13 –16 , Pinni B3116, loppukoe.
Ti 13.9.2016 - 18.10.2016 viikoittain klo 14-16, Päätalo A2a
Harjoitukset
Ryhmä 1
Ke 14.9.2016 - 19.10.2016 viikoittain klo 10-12, Päätalo A2b
Ryhmä 2
To 15.9.2016 - 20.10.2016 viikoittain klo 12-14, Pinni B0016
Poikkeukset:
20.10.2016 klo 10 –12 , Pinni B0020

Arviointi

Numerolla 1-5.