Opintojaksot  
|Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opinto-opas 2007-2008

OHJ-2500 OHJELMIEN TODISTAMINEN, 5 op
Program Verification

Opintojakson vastuuhenkilö
Antero Kangas
Antti Valmari

Toteutuskerrat
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä
Luento 4 h/vko 3 h/vko - - - -
Harjoitus 2 h/vko 3 h/vko - - - -
Tentti  
(Lukuvuoden 2007-2008 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 MAT-20600 Diskreetti matematiikka 3 Pakollinen
    OHJ-2100 OHJ-2100 Ohjelmistotieteen perustyökaluja 5 Pakollinen

    Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

    Huomautuksia

    Pidetään joka toinen vuosi.

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.

  • Opintojakso soveltuu jatko-opinnoiksi.

  • Opintojaksoa ei luennoida lukuvuonna 2007-2008.

  • Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat
  • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
    - harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

  • Arvioitu opintojakson toteutustapa
  • - Lähiopetuksen osuus: 52 %
    - Etäopetuksen osuus: 0 %
    - Opiskelijan itseopiskelun osuus: 48 %

    Mitoitus
    OpetusmuodotTuntia
    Luennot 42
    Harjoitukset 84
    Kaikki yhteensä 126

    Opintojaksokorvaavuus
    8101160 Ohjelmien todistaminen

    Opintojakson kotisivu

    Viimeksi muokattu 26.01.2007
    MuokkaajaAntti Valmari