Skip to content. | Skip to navigation

Jyväskylän yliopiston Koppa

HUOM! Kopan käyttö päättyy 31.7.2024! Lue lisää.


Navigation

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.

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
  • 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.