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

Opintojakson vastuuhenkilö
Antero Kangas
Antti Valmari

Luentoajat ja -paikat
Per I: Tiistai 14 - 16, TC128
Per I: Keskiviikko 12 - 14, TC128
Per II: Tiistai 14 - 17, TC128

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 2006-2007 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

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 %

Mitoitus

Opetusmuodot	Tuntia
Luennot	42
Harjoitukset	84
Kaikki yhteensä	126

Opintojaksokorvaavuus
8101160 Ohjelmien todistaminen

Opintojakson kotisivu

Viimeksi muokattu	23.01.2006
Muokkaaja	Antti Valmari