TIEA3810 Applied Predicate Logic (5 cr)

Study level:
Intermediate studies
Grading scale:
0-5
Language:
Finnish
Responsible organisation:
Faculty of Information Technology
Curriculum periods:
2024-2025, 2025-2026, 2026-2027, 2027-2028

Description

Abstrakti ja konkreettinen syntaksi, BNF. Lausekepuut. Ensimmäisen kertaluvun kieli, tulkinta ja malli. Täsmällisten väittämien ilmaiseminen predikaattilogiikalla. Käytännön päättelysääntöjä. Tietokoneohjelmista päätteleminen. Pikakatsaus täydellisyys- ja epätäydellisyyslauseisiin.

Learning outcomes

Kurssin suorittamisen jälkeen opiskelija

* osaa tulkita BNF:llä esitettyjä syntaksikuvauksia

* hallitsee abstraktin ja konkreettisen syntaksin välisen eron

* tiedostaa, että sama informaatiosisältö voidaan esittää eri syntakseilla

* hallitsee lausekkeen ja lausekepuun yhteyden sekä sulkujen ja sitovuussääntöjen vaikutuksen

* tunnistaa vapaat ja sidotut muuttujien esiintymät sekä avoimet ja suljetut kaavat

* tietää miten ensimmäisen kertaluvun kaavan totuusarvo määräytyy

* osaa esittää ja tulkita tietokoneohjelman tilaa koskevia väittämiä

* hallitsee käytännöllisiä päättelysääntöjä, kuten de Morganin lait, Boolen laajennoslauseen ja kvanttoreita koskevia lakeja

* osaa tehdä yksinkertaisia päättelyketjuja ensimmäisen kertaluvun logiikassa

* ymmärtää Gödelin täydellisyyslauseen ja 1. epätäydellisyyslauseen, Church-Turingin teesin sekä pysähtymistesterin olemattomuuslauseen sisällön

Additional information

Kurssilla suhteutetaan logiikan käsitteistöä ohjelmoinnin käsitteistöön ja käytetään esimerkkejä tietokokoneohjelmien maailmasta. Pysähtymistesterin olemattomuus todistetaan, mutta Gödelin täydellisyyslausetta jne. ei. Propositiologiikan merkinnät ja todistaminen arkimatematiikassa ovat esitietokursseilla.

Recommended prerequisites

Completion methods

Method 1

Select all marked parts
Parts of the completion methods
x

Participation in teaching (5 cr)

Type:
Participation in teaching
Grading scale:
0-5
Language:
Finnish

Teaching