Opinto-opas 2005-2006

OHJ-2500 OHJELMIEN TODISTAMINEN, 5 op
Program Verification

Opintojakson vastuuhenkilö
Antti Valmari

Opettajat
Antti Valmari, professori

Luentoajat ja -paikat
Per I: Torstai 10 - 12, TC210
Per II: Torstai 12 - 13, TC210

Toteutuskerrat
Toteutus 1
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä Opetuskieli
Luento 4 h/vko+ 3 h/vko - - - - Vain suomeksi
Harjoitus 2 h/vko+ 3 h/vko - - - - Vain suomeksi
(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Kyky todistaa ohjelman osia, algoritmeja ja tietorakenteita oikeaksi logiikan ja joukko-opin avulla. Formaalien menetelmien periaatteelliset ja käytännölliset rajoitukset.

Sisältö
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. 		      

Suoritusvaatimukset
Laskuharjoitukset, tentti (tai pelkät laskuharjoitukset).

Opintojakson arviointikriteerit
Laskuharjoitukset ja tentti.

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

    • Esitiedot
    Tunnus Nimi OP P/S
    MAT-20600 Diskreetti matematiikka 3 Pakollinen
    OHJ-2100 Ohjelmistotieteen perustyökaluja 5 Pakollinen

    Huomautuksia
    Pidetään joka toinen vuosi.

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.
  • Opintojakso soveltuu jatko-opinnoiksi.
  • Opintojaksoa ei luennoida lukuvuonna 2005-2006.

    • Opintojaksokorvaavuus
    8101160 Ohjelmien todistaminen

    Opintojakson kotisivu

    Viimeksi muokattu 11.05.2005
    MuokkaajaAntti Valmari