Bible paper by Dave Bullock CC BY 2.0

Ilmoittaudu
12.12.2017 klo 09:00 - 21.1.2018 klo 23:59

Aikataulu

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

PäivämääräAikaOpetuspaikka
To 18.1.2018
12:15 - 13:45
To 25.1.2018
12:15 - 13:45
To 1.2.2018
12:15 - 13:45
To 8.2.2018
12:15 - 13:45
To 15.2.2018
12:15 - 13:45
To 22.2.2018
12:15 - 13:45
To 1.3.2018
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.