8100500
OHJELMISTOTEKNIIKAN MATEMAATTISET MENETELMÄT,
MATHEMATICAL METHODS IN SOFTWARE ENGINEERING, 3 ov
Tietoa luennoitsijoista
professori Antti Valmari
Luentoja ja harjoituksia
Luentoja yhteensä 42 h. Harjoituksia yhteensä 26 h.
Viikottainen opetus/periodi |
|
|
|
|
|
Luennot (h): |
3+ |
3 |
- |
- |
- |
Harjoitukset (h): |
2+ |
2 |
- |
- |
- |
Tavoitteet
Oppia tunnistamaan, muotoilemaan, rajaamaan tarkoituksenmukaisella tavalla, esittämään tarkoituksenmukaisella täsmällisyys- ja tarkkuustasolla, analysoimaan ja käsittelemään abstraktioita, joita syntyy esimerkiksi käyttäjän tarpeiden analyysin, tietosisällön määrittelyn tai ohjelmiston suunnittelun ja toteutuksen aikana. Oppia käyttämään diskreettiä matematiikkaa ohjelmistotyön kustannusten vähentämiseksi ja ohjelmistojen laadun paramtamiseksi.
Sisältö
Lausekkeista. Tietosisällön, tilojen ja hierarkkisten rakenteiden määritteleminen. Tiedon määrän laskeminen. Abstraktien käsitteiden määritteleminen ja vertailu. Päätteleminen. Ylhäältä alas -jäsentäminen. Tilakoneiden ja rinnakkaisuuden matematiikkaa.
Tutkintovaatimukset
Tentti ja laskuharjoitukset.
Kirjallisuus
Luentomoniste. Tukena voi käyttää mm. kirjaa D. Gries, F. Schneider: A Logical Approach to Discrete Math.
Tietoa esitietovaatimuksista
Esitietoihin merkityt 81-kurssit ovat keskenään vaihtoehtoisia.
Esitiedot
Numero |
Nimi |
|
|
73116 |
3 |
Pakollinen |
|
8100110 |
3 |
Pakollinen |
|
8100200 |
6 |
Pakollinen |