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
Ti 15.1.2019
16:15 - 17:45
To 17.1.2019
12:15 - 13:45
Ti 22.1.2019
16:15 - 17:45
To 24.1.2019
12:15 - 13:45
Ti 29.1.2019
16:15 - 17:45
To 31.1.2019
12:15 - 13:45
Ti 5.2.2019
16:15 - 17:45
To 7.2.2019
12:15 - 13:45
Ti 12.2.2019
16:15 - 17:45
To 14.2.2019
12:15 - 13:45
Ti 19.2.2019
16:15 - 17:45
To 21.2.2019
12:15 - 13:45
Ti 26.2.2019
16:15 - 17: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.