Yleiskuvaus

Opintojakso koostuu kahdesta osasta:
a) Lause- ja predikaattilogiikan alkeet (2 op)
b) Lause- ja predikaattilogiikan semantiikkaa ja todistusteoriaa (3op)

Sisältö

Kurssilla tutustutaan logiikan peruskäsitteisiin, kuten formaalin kielen, loogisen totuuden ja loogisen seurauksen käsitteisiin, ja perehdytään lause- ja predikaattilogiikan syntaksiin ja semantiikkaan.

Toteutustavat

Kurssi koostuu luennoista ja harjoituksista

Opetuskieli

suomi

Arviointi

Numerolla 1-5.

Kirjallisuus/Oppimateriaali

Yksi seuraavista: a. Rantala-Virtanen: Logiikan peruskurssi (2002 tai 2003, vain verkossa osoitteessa http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf) tai b. Allwood-Andersson-Dahl: Logiikka ja kieli tai c. Miettinen: Logiikka - perusteet tai d. Guttenplan: Languages of Logic

Kokonaisuudet johon opintojakso kuuluu