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.