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.
Luentoajat ja -paikat
Maanantai 12 - 15, S4 (TiTe)
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 parantamiseksi.
Sisältö
Logiikan käyttö ohjelman tilasta puhumiseen ja päättelyyn. Abstraktin rakenteen määritteleminen joukko-opillisesti. Lausekkeista. Kielen tai rakenteen määrittely säännöllisillä lausekkeilla, äärellisillä automaateilla ja BNF:llä. Ylhäältä alas -jäsentäminen.
Tutkintovaatimukset
Tentti ja laskuharjoitukset.
Kirjallisuus
Luentomoniste. Tukena voi käyttää mm. kirjaa D. Gries, F. Schneider: A Logical Approach to Discrete Math.
Tietoa esitietovaatimuksista
Opintojaksot 8100110 ja 8100200 ovat keskenään vaihtoehtoisia.
Esitiedot
Numero |
Nimi |
|
|
73116 |
3 |
Pakollinen |
|
8100110 |
3 |
Pakollinen |
|
8100200 |
6 |
Pakollinen |