x !
Arkistoitu opetussuunnitelma 2008–2010
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATEA15B Logiikka 1B 3 op
Vastuutaho
Matematiikka
Edeltävät opinnot
Opintojaksojen Logiikka 1A ja Diskreetti matematiikka samanaikainen seuraaminen.

Osaamistavoitteet

Antaa yhdessä opintojaksojen Logiikka 1A ja P0 Diskreetti matematiikka (vastaavat yhdessä vanhojen vaatimusten opintojaksoa P1 Diskreetti matematiikka 1) kanssa tarvittavat valmiudet matematiikan aineopintojen logiikan opintojaksoille.

Sisältö

Lause- ja predikaattilogiikkaa.

Opetuskieli

suomi

Vaadittavat opintosuoritukset

Kirjalliset harjoitukset sekä loppukuulustelu.

Arviointi

Numerolla 1-5.

Kirjallisuus/Oppimateriaali

1. Merikoski J, Virtanen A, Koivisto P, Johdatus diskreettiin matematiikkaan. WSOY 2004. Soveltuvin osin.

2. Suppes, Introduction to Logic.

3. Rantala V, Virtanen A, Logiikan peruskurssi. http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf.

Kokonaisuudet johon opintojakso kuuluu

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