Bible paper by Dave Bullock CC BY 2.0

Ilmoittaudu
11.12.2018 klo 09:00 - 1.2.2019 klo 23:59

Aikataulu

Tästä osiosta löydät kurssin opetusaikataulun. Tarkista mahdolliset muut aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
Ma 14.1.2019
14:15 - 15:45
To 17.1.2019
12:15 - 13:45
Ma 21.1.2019
14:15 - 15:45
To 24.1.2019
12:15 - 13:45
Ma 28.1.2019
14:15 - 15:45
To 31.1.2019
12:15 - 13:45
Ma 4.2.2019
14:15 - 15:45
To 7.2.2019
12:15 - 13:45
Ma 11.2.2019
14:15 - 15:45
To 14.2.2019
12:15 - 13:45
Ma 18.2.2019
14:15 - 15:45
To 21.2.2019
12:15 - 13:45
Ma 25.2.2019
14:15 - 15:45
To 28.2.2019
12:15 - 13:45

Kuvaus

Johdatus logiikkaan (tai vastaava kurssi).

Tavoitteena on hallita keskeisiä logiikan menetelmiä, joilla osoitetaan argumenttien pätevyys muodollisella logiikalla ja niiden merkittävyys meta-teoreettisten tulosten valossa.

Riippuen opettajasta, tavoitteena on yksityiskohtainen selostus todistus-teoreettisista ja/tai semanttisista menetelmistä muodollisen logiikan argumenttien pätevyyden osoittamiseksi, painopisteen ollessa predikaattilogiikassa. Eri menetelmät linkittyvät meta-teoreettisten tulosten (täydellisyyslauseet) kautta.

Kurssikirjallisuus ilmoitetaan kurssin alussa.

Kirjallisuuskuulustelussa: Dirk van Dalen, Logic and Structure, Springer, 2004.

Arvostelu 0–5, perustuen osaamistavoitteisiin.

Luentokurssi harjoituksineen ja loppukuulustelu. Opiskelijat ilmoittautuvat yhteen harjoitusryhmään. Vaihtoehtoisesti opintojakson voi suorittaa kirjallisuuskuulusteluna.