x !
Arkistoitu opetussuunnitelma 2011–2012
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATES11 Matemaattinen logiikka 5–10 op
Vastuutaho
Matematiikka
Edeltävät opinnot
Logiikka 1A, Diskreetti matematiikka, Logiikka 1B tai Logiikka 2.

Osaamistavoitteet

Syventää ja laajentaa logiikan aineopintokurssien tietoja.

Sisältö

Täydellisyyslause, kompaktisuuslause, Gödelin epätäydellisyyslause, malliteorian alkeita.

Vaadittavat opintosuoritukset

Arviointi

Numerolla 1-5.

Kokonaisuudet johon opintojakso kuuluu

Informaatiotieteiden yksikkö
Matematiikan syventävät opinnot (Matematiikka)
2011–2012
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Informaatiotieteiden yksikkö