MATA132 How to Prove It? (4 cr)

Open the course unit brochure on Sisu
Study level:
Intermediate studies
Grading scale:
0-5
Language:
Finnish
Responsible organisation:
Department of Mathematics and Statistics
Curriculum periods:
2017-2018, 2018-2019, 2019-2020

Description

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

Learning outcomes

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.

Additional information

28 h luentoja, 7 laskuharjoituskertaa

Description of prerequisites

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

Completion methods

Method 1

Select all marked parts

Method 2

Select all marked parts
Parts of the completion methods
x

Teaching (4 cr)

Type:
Participation in teaching
Grading scale:
0-5
Language:
Finnish

Teaching

x

Exam (4 cr)

Type:
Exam
Grading scale:
0-5
Language:
Finnish

Teaching