Opinto-opas 2008-2009 |
|||||
| Perus | Pori | KV | Jatko | Avoin | |
|
|
|
|||||||||||||||||
OHJ-2500 Ohjelmien todistaminen, 5 op
|
Antero Kangas
| Luentoajat ja -paikat | Kohderyhmä, jolle suositellaan | |
| Toteutus 1 |
Laskuharjoitukset, tentti (tai pelkät laskuharjoitukset).
Osasuoritusten pitää liittyä samaan toteutuskertaan
-
Kyky todistaa ohjelman osia, algoritmeja ja tietorakenteita oikeaksi logiikan ja joukko-opin avulla. Formaalien menetelmien periaatteelliset ja käytännölliset rajoitukset.
| Sisältöalue | Ydinaines | Täydentävä tietämys | Erityistietämys |
| 1. | Heikoimmat esiehdot. | ||
| 2. | Silmukoiden todistustekniikat. | ||
| 3. | Algoritmien todistaminen. | ||
| 4. | Tietorakenteiden analyysi ja vertailu joukko-opin keinoin. |
Laskuharjoitukset ja tentti.
Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)
| Opintojakso | P/S |
| MAT-20600 Diskreetti matematiikka | Pakollinen |
| OHJ-2100 Ohjelmistotieteen perustyökaluja | Pakollinen |
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
|
|
|
|
| Kuvaus | Opetusmuodot | Toteutustapa | |
| Toteutus 1 |
Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 % |