Mallit ja predikaattilogiikka, Luento-opetus

Opintojakson suoritettuaan opiskelija tuntee
kompaktisuuslauseen, ja osaa itsenäisesti soveltaa sitä
mallikonstruktioihin. Hän ymmärtää efektiivisen proseduurin käsitteen, ja osaa todistaa ratkeavuuteen liittyviä perustuloksia. Opiskelija ymmärtää
määriteltävyyden käsitteen ja osaa todistaa yksinkertaisia
määrittelemättömyystuloksia kompaktisuuslauseen avulla. 

Predikaattilogiikan peruskäsitteiden kertaus, kompaktisuuslause ja sen
sovellukset, predikaattilogiikan ja lukuteorian ratkeamattomuus, määriteltävyysteoriaa, Ehrenfeucht-Fraïssé pelit, predikaattilogiikan laajennuksia.

Muu tilavaraus

Muu tapahtuma:

04.05.2022 13:00 - 16:00, TAU Pinni B4115 ryhmätyötila (30)

Yhteiset

Harjoitukset: Harjoitusryhmä

13.01.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
20.01.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
27.01.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
03.02.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
10.02.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
17.02.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)
24.02.2022 12:00 - 14:00, TAU Pinni A3107 ryhmätyötila (32)

Luennot:

11.01.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
13.01.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
18.01.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
20.01.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
25.01.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
27.01.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
01.02.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
03.02.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
08.02.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
10.02.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
15.02.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
17.02.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)
22.02.2022 14:00 - 16:00, TAU Päätalo D14 luentosali (32)
24.02.2022 14:00 - 16:00, TAU Pinni A3107 ryhmätyötila (32)

Muu tapahtuma: Loppukoe / Loppukokeen uusinta

03.03.2022 09:00 - 12:00, TAU Pinni B4115 ryhmätyötila (30)
06.04.2022 13:00 - 16:00, TAU Pinni B4115 ryhmätyötila (30)

Esitiedot

Joukko-opin ja logiikan perusteet, relaatiot ja funktiot, induktiotodistukset, algebran perusasiat

Pakolliset esitiedot

• Algebra, MATH.MA.450, 5op

Suositellut esitiedot

• Modaali- ja predikaattilogiikka, MATH.MA.520, 5op

Opintojaksolla ei ole varsinaista oppikirjaa, mutta sillä on kattava luentomoniste. Suositeltavaa oheismateriaalia on kirjassa 

Ebbinghaus-Flum-Thomas: Introduction to mathematical logic.

Yleinen asteikko, 0-5