| Opintojaksot | |||||
| |Tutkinnot| | |Opintokokonaisuudet| | |Kaikki| | |Jatko| | |KV| | |
|
|
|
|||||||||||
OHJ-2500 OHJELMIEN TODISTAMINEN, 5 op
|
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 | ||||||
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
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.
Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa
- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- Lähiopetuksen osuus: 52 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 48 %
| Opetusmuodot | Tuntia |
| Luennot | 42 |
| Harjoitukset | 84 |
| Kaikki yhteensä | 126 |
Opintojaksokorvaavuus
8101160 Ohjelmien todistaminen
| Viimeksi muokattu | 26.01.2007 |
| Muokkaaja | Antti Valmari |