Osaamistavoitteet

Perehtyä sisältökuvauksessa mainittuihin asioihin.

Sisältö

Totuusfunktiot, mallit ja Tarskin totuusmääritelmä, semanttiset puut, luonnollinen päättely, predikaattilogiikan täydellisyyslause.

Toteutustavat

Opintojakso koostuu luennoista ja viikkoharjoituksista. Opetuksen määrä riippuu kurssin laajuudesta.

Opetuskieli

suomi

Arviointi

Numerolla 1-5.

Suositellut suoritusajankohdat

2.-3. vuosi.

Kirjallisuus/Oppimateriaali

1. Ebbinghaus, Flum, Thomas, Mathematical Logic.

2. Salminen, Väänänen, Johdatus logiikkaan.

Kokonaisuudet johon opintojakso kuuluu