TIEP1019 Johdatus ohjelmistotekniikan matematiikkaan (3 cr)
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 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
Study materials
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)