MATA132 Todistamisen perusteet (4 op)

Opinnon taso:
Aineopinnot
Arviointiasteikko:
0-5
Suorituskieli:
suomi
Vastuuorganisaatio:
Matematiikan ja tilastotieteen laitos
Opetussuunnitelmakaudet:
2017-2018, 2018-2019, 2019-2020

Kuvaus

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.

Suoritustavat

Kirjallisesti palautettavat laskuharjoitukset ja kurssitentti TAI loppukoe.

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

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.

Lisätietoja

28 h luentoja, 7 laskuharjoituskertaa

Esitietojen kuvaus

Calculus 1-3. Lukion pitkän matematiikan tietojen hyvä hallinta.

Suoritustavat

Tapa 1

Valitaan kaikki merkityt osat

Tapa 2

Valitaan kaikki merkityt osat
Suoritustapojen osat
x

Osallistuminen opetukseen (4 op)

Tyyppi:
Osallistuminen opetukseen
Arviointiasteikko:
0-5
Suorituskieli:
suomi

Opetus

x

Tentti (4 op)

Tyyppi:
Tentti
Arviointiasteikko:
0-5
Suorituskieli:
suomi

Opetus