Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä ja on sisäistänyt semanttiset peruskäsitteet, erityisesti loogisen totuuden ja seurauksen käsitteet, niin että hän tunnistaa, ovatko teksteissä esiintyvät päätelmät totuuden säilyttäviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen idean, niin että hän osaa rakentaa yksinkertaisia deduktioita lauselogiikan luonnollisen päättelyn systeemissä.
Suoritetaan joko kirjatenttinä tai osallistumalla opetukseen (suositeltava muoto).
Jakson tiedot opinto-oppaassa.
Osallistuminen opetukseen
Jaksosta järjestettävä opetus tutkinto-opetuksen opetusohjelmassa.
Suorittaminen tenttimällä
Kirjatentti tehdään perinteisenä tenttinä. Tenttien vastaanottajat.
Opintojaksoa ei voi tenttiä Porissa tai Seinäjoella.
Kurssin loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.
Oheismateriaalina voi käyttää teorta Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf)
Lisätietoa ilmoittautumisesta yms. opintokokonaisuuden koontisivulta.
Yleiset kirjatenttipäivät:
Katso tenttien tiedot opetusohjelmasta.
Tentteihin ilmoittautuminen 14 vuorokautta ennen tenttiä nettirekan kautta www.uta.fi/nettirekka.