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.
Sisältö
Lauselogiikan kaavat, induktio kaavan pituuden suhteen, totuusjakaumat, totuustaulut ja totuusfunktiot, tautologiat, lauselogiikan mallit, validisuus ja looginen seuraus, lauselogiikan luonnollinen päättely, eheyslause ja täydellisyyslause luonnolliselle päättelylle, semanttiset puut.
Vaadittavat opintosuoritukset
- Tutkinto-ohjelman omat opiskelijat
- Muut opiskelijat
- Avoimen yliopisto-opetuksen opiskelijat
- Tohtoriopiskelijat
- Vaihto-opiskelijat
- Tutkinto-ohjelman omat opiskelijat
- Muut opiskelijat
- Avoimen yliopisto-opetuksen opiskelijat
- Tohtoriopiskelijat
- Vaihto-opiskelijat
Arviointi
Numerolla 1-5.Kirjallisuus/Oppimateriaali
Opintojaksolla ei ole varsinaista oppikirjaa, vaan se perustuu luentoihin. Suositeltavaa oheismateriaalia on kirjassa
Salminen, Väänänen, Johdatus logiikkaan.
sekä monisteessa
Rantala, Virtanen, Logiikan peruskurssi.
Lisätietoja
Opintojaksot MTTMA10 Johdatus logiikkaan 1 ja MTTMA11 Johdatus logiikkaan 2 vastaavat yhdessä opinto-oppaan 2010-2012 opintojaksoja MATEA15B Logiikka 1B ja MATEA16 Logiikka 2.
Mikäli vain toinen vanhoista opintojaksoista on suoritettuna, pitää uusien opintojaksojen suorittamisesta keskustella vastuuopettajan kanssa. Täydennyksistä on erillinen ohje.
Kokonaisuudet johon opintojakso kuuluu
