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
Ti 16.1.2018
12:15 - 13:45
Pe 19.1.2018
12:15 - 13:45
Ti 23.1.2018
12:15 - 13:45
Pe 26.1.2018
12:15 - 13:45
Ti 30.1.2018
12:15 - 13:45
Pe 2.2.2018
12:15 - 13:45
Ti 6.2.2018
12:15 - 13:45
Pe 9.2.2018
12:15 - 13:45
Ti 13.2.2018
12:15 - 13:45
Pe 16.2.2018
12:15 - 13:45
Ti 20.2.2018
12:15 - 13:45
Pe 23.2.2018
12:15 - 13:45
Ti 27.2.2018
12:15 - 13:45
Pe 2.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.