TTKK Opinto-opas
8100500 Ohjelmistotekniikan matemaattiset menetelmät, 3 ov
Mathematical Methods in Software Engineering, 3 cu
professori Antti Valmari
Luentoja 42 t. Harjoituksia 28 t.
| Viikottainen Opetus / Periodi |
S1 | S2 | K1 | K2 | Kesä |
|---|
| 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, ohjelmiston rakenteen suunnittelun tai tietosisällön
määrittelyn seurauksena. 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.
Vaadittavat esitiedot
73116 Algoritmimatematiikka, 8100200 Laaja ohjelmointi tai 81020 Ohjelmointi
II.
Linkkejä
Kurssin kotisivu