Undervisning

Namn Sp Studieform Tid Ort Arrangör
Logik 5 Cr Allmän tent 5.10.2018 - 5.10.2018
Logik 5 Cr Allmän tent 2.11.2018 - 2.11.2018
Logik 5 Cr Allmän tent 16.11.2018 - 16.11.2018
Logic 5 Cr Kurs 14.1.2019 - 28.2.2019
Logik 5 Cr Allmän tent 18.1.2019 - 18.1.2019
Logik 5 Cr Allmän tent 8.2.2019 - 8.2.2019
Logik 5 Cr Allmän tent 22.2.2019 - 22.2.2019
Logik 5 Cr Allmän tent 29.3.2019 - 29.3.2019
Logik 5 Cr Allmän tent 24.5.2019 - 24.5.2019
Logik 5 Cr Allmän tent 12.6.2019 - 12.6.2019
Logik 5 Cr Allmän tent 3.7.2019 - 3.7.2019
Logik 5 Cr Allmän tent 24.7.2019 - 24.7.2019
Namn Sp Studieform Tid Ort Arrangör
Logik 5 Cr Allmän tent 14.9.2018 - 14.9.2018
Logic 5 Cr Kurs 16.1.2018 - 2.3.2018
Logik 5 Cr Examinarium (tentakvarium) 14.11.2017 - 31.7.2018

Tidigare studier eller kunskaper

Johdatus logiikkaan (tai vastaava kurssi).

Kunskapsmål

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.

Studiematerial

Kurssikirjallisuus ilmoitetaan kurssin alussa.

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

Bedömningsmetoder och kriterier

Arvostelu 0–5, perustuen osaamistavoitteisiin.

Studieavsnittets form

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