Opinto-oppaat
2010–2011
Arkistoitu opetussuunnitelma 2010–2011
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.
Vastaavat opinnot opetussuunnitelmassa
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
suomiVaadittavat opintosuoritukset
Kirjalliset harjoitukset sekä loppukuulustelu.
Arviointi
Numerolla 1-5.Kirjallisuus/Oppimateriaali
- Merikoski, J., Virtanen, A., Koivisto, P., Johdatus diskreettiin matematiikkaan. WSOY 2004. Soveltuvin osin.
- Rantala, V., Virtanen, A., Logiikan peruskurssi. http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf.
- Suppes, P., Introduction to logic.
Kokonaisuudet johon opintojakso kuuluu
Matematiikan ja tilastotieteen laitos
Matematiikan perusopinnot
(Matematiikka)
2010–2011
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
Matematiikan ja tilastotieteen laitos