MATA132 Todistamisen perusteet
by admin
—
last modified
Dec 17, 2023 01:36 AM
Course begins and ends
Jun 01, 2020 - Aug 31, 2020.Course contents
Matemaattisen päättelyn ja logiikan alkeita, suora ja epäsuora päättely, negaation muodostaminen, induktiotodistus. Joukko-oppia. Mahtavuudesta ja funktioista.
- 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
- tuntee joukko-oppiin ja funktioihin liittyvät peruskäsitteet, ja on tutustunut mahtavuuden käsitteeseen
- on motivoitunut jatkamaan matematiikan opintojaan.
Kurssia suositellaan kurssit Calculus 1-3 suorittaneille opiskelijoille ennen kurssien Johdatus matemaattiseen analyysiin 1-4 suorittamista.