MATA132 Todistamisen perusteet (4 op)
Osaamistavoitteet
Kurssin suorittamisen j盲lkeen opiskelija
-on perehtynyt logiikan alkeisiin ja tutustunut todistusperiaatteisiin
-tiet盲盲 mit盲 todistaminen tarkoittaa matematiikassa
-osaa soveltaa suoraa ja ep盲suoraa p盲盲ttely盲 todistusteht盲viin
-osaa muodostaa negaatioita matemaattisista v盲itelauseista
-hallitsee induktiotodistuksen
-osaa lukea, esitt盲盲 ja arvioida todistuksia
-on motivoitunut jatkamaan matematiikan opintojaan.
Suoritustavat
Kirjallisesti palautettavat laskuharjoitukset ja kurssitentti TAI loppukoe.
厂颈蝉盲濒迟枚
Matemaattisen p盲盲ttelyn ja logiikan alkeita, suora ja ep盲suora p盲盲ttely, negaation muodostaminen, induktiotodistus.
Kurssi on suunnattu erityisesti kurssit Calculus 1-3 suorittaneille opiskelijoilleja tarkoitettu k盲yt盲v盲ksi ennen kurssien Johdatus matemaattiseen analyysiin 1-4 suorittamista.
尝颈蝉盲迟颈别诲辞迟
28 h luentoja, 7 laskuharjoituskertaa
Arviointiperusteet
Opintojakson arvosana m盲盲r盲ytyy
a) kurssitentin pistem盲盲r盲n ja laskuharjoituspisteiden summan
TAI
b) lopputentin pistem盲盲r盲n
perusteella.
Hyv盲ksyttyyn suoritukseen vaaditaan v盲hint盲盲n puolet maksimipistem盲盲r盲st盲.
Esitietovaatimukset
Calculus 1-3. Lukion pitk盲n matematiikan tietojen hyv盲 hallinta.