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
Vaadittavat opintosuoritukset
Kirjatentti tai luentokuulustelu
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