Osaamistavoitteet

-

Sisältö

Äärellisten mallien teoria on matemaattisen logiikan osa-alue, jossa tutkitaan erilaisten loogisten kielten ilmaisuvoimaa äärellisten matemaattisten struktuurien (eli mallien) luokassa. Äärelliset mallit ovat puolestaan keskeisessä asemassa tietojenkäsittelyopin teoriassa: esimerkiksi relaatiotietokanta voidaan tulkita äärelliseksi malliksi, ja vastaavasti tietokantakyselykieli voidaan tulkita loogisena kielenä, jolla määritellään tietokannassa uusia relaatioita.

Kurssilla esitellään äärellisten mallien teorian tärkeimpiä loogisia kieliä (eli logiikoita), sekä perehdytään malliteoreettisiin työkaluihin, joiden avulla logiikoiden ilmaisuvoimaa voidaan tutkia. Erityisesti käydään läpi ns. Ehrenfeucht-Fraisse -pelin erilaisia versioita.

Arviointi

Kokonaisuudet johon opintojakso kuuluu

2008–2009

Opintojakso opetusohjelmassa

Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.

MATES19 Äärellisten mallien teoria