x !
Arkistoitu opetussuunnitelma 2010–2011
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATEA16 Logiikka 2 4–8 op
Vastuutaho
Matematiikka
Edeltävät opinnot
Logiikka 1A, Diskreetti matematiikka, Logiikka 1B.
Vastaavat opinnot opetussuunnitelmassa
Matematiikan ja tilastotieteen laitos
Opetussuunnitelma 2008 – 2010
MATEA16 Logiikka 2 4–8 op

Osaamistavoitteet

Perehtyä sisältökuvauksessa mainittuihin asioihin.

Sisältö

Totuusfunktiot, mallit ja Tarskin totuusmääritelmä, semanttiset puut, luonnollinen päättely, predikaattilogiikan täydellisyyslause.

Toteutustavat

Opintojakso koostuu luennoista ja viikkoharjoituksista. Opetuksen määrä riippuu kurssin laajuudesta.

Opetuskieli

suomi

Vaadittavat opintosuoritukset

Arviointi

Numerolla 1-5.

Suositellut suoritusajankohdat

2.-3. vuosi.

Kirjallisuus/Oppimateriaali

  1. Ebbinghaus, H.-D., Flum, J., , Thomas, W., Mathematical logic.
  2. Salminen, H., Väänänen, J., Johdatus logiikkaan.

Kokonaisuudet johon opintojakso kuuluu

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