TIEP1019 Johdatus ohjelmistotekniikan matematiikkaan (3 cr)

Study level:
Basic studies
Grading scale:
0-5
Language:
Finnish
Responsible organisation:
Faculty of Information Technology
Curriculum periods:
2017-2018, 2018-2019, 2019-2020

Description

Sisältö

Kurssilla tutustutaan tietotekniikan opiskelijalle tärkeisiin matematiikan osa-alueisiin logiikkaan, joukko-oppiin, funktioihin ja lukuteoriaan sekä opetellaan matemaattista ajattelua ja päättelyä. Kurssi täydentää lukion lyhyen matematiikan tietoja mutta sopii johdatukseksi tietotekniikassa opiskelussa tarvittavaan yliopistomatematiikkaan myös pitkän matematiikan suorittaneille.

Suoritustavat

Harjoitukset ja kurssitentti tai pelkkä lopputentti. Luennot 24 h ja harjoitukset 12 h.

Arviointiperusteet

Kurssin suorituksen arviointi tapahtuu harjoituksiin osallistumisen ja mahdollisten muiden harjoitustehtävien perusteella sekä kurssin päätteeksi pidettävän kokeen avulla. Vaihtoehtoisesti suoritus on mahdollista pelkän loppukokeen perusteella. Suoritus arvostellaan asteikolla 1-5.

Learning outcomes

Kurssin tavoitteena on opettaa matemaattista ajattelua ja matemaattisen notaation ymmärtämistä tietotekniikan opiskelijoille. Matemaattista ajattelua tarvitaan ohjelmistojen suunnittelussa kaikilla tasoilla systeemisuunnittelusta ohjelmien pienten osien koodaamiseen. Suunnittelu vastaa monilta osin matemaattisen tuloksen todistamista.

Kurssin suoritettuaan opiskelija
• osaa logiikan ja joukko-opin perusteet
• osaa tehdä yksinkertaisia päättelyitä
• osaa lukea matemaattista tekstiä
• ymmärtää yksinkertaisia matemaattisia todistuksia ja tuntee erilaiset todistus-tyypit
• tuntee funktion käsitteen ja perusominaisuuksia
• osaa jaollisuuteen ja modulolaskentaan liittyvät perusasiat

Description of prerequisites

Lukion lyhyt matematiikka

Study materials

Suositeltavaa lukemista ovat esimerkiksi:
Lehman, E., Leighton, F. T., ja Meyer, A. R.: Mathematics for Computer Science,(vuoden 2017 painos tai verkkoversio)
Rosen, K. H.: Discrete Mathematics and Its Applications, 7.painos, McGraw-Hill Education, 2011
Saarimäki, M. Diskreettiä ja äärellistä matematiikkaa. Jyväskylä: Jyväskylän yliopisto (vuoden 1997, 2000 tai 2007 painos tai verkkoversio)

Completion methods

Method 1

Select all marked parts
Parts of the completion methods
x

Teaching (3 cr)

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