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.
Sisältö
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.
Lisätiedot
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.