x !
Arkistoitu opetussuunnitelma 2010–2011
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

Matematiikan ja tilastotieteen laitos
Matematiikan syventävät opinnot (Matematiikka)
2010–2011
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Matematiikan ja tilastotieteen laitos