Opinto-opas 2003-2004

8101160 OHJELMIEN TODISTAMINEN, PROGRAM VERIFICATION, 3 ov

Tietoa luennoitsijoista
Professori ANTTI VALMARI

Luentoja ja harjoituksia
Luentoja yhteensä 42 h. Harjoituksia yhteensä 26 h.

Viikottainen opetus/periodi	S1	S2	K1	K2	Kesä
Luennot (h):	3+	3	-	-	-
Harjoitukset (h):	2+	2	-	-	-

Tavoitteet
Luoda opiskelijalle valmiuksia ymmärtää ja käyttää matemaattisia menetelmiä ohjelmistotyön, erityisesti algoritmien määrittelyn ja suunnittelun sekä vaikeiden ohjelman osien ja vaikeiden algoritmien toteuttamisen apuna.

Sisältö
Algoritmien ja pienten ohjelmien spesifiointi ja oikeaksi osoittaminen logiikan ja joukko-opin avulla. Formaalien menetelmien periaatteelliset ja käytännölliset rajoitukset.

Tutkintovaatimukset
Pakolliset laskuharjoitukset ja tentti.

Kirjallisuus
Luentomonisteet. Tukena voi käyttää kirjaa Backhouse, R.: Program Construction and Verification.

Esitiedot

Numero	Nimi	OV	P/S
73116	Algoritmimatematiikka	3	Pakollinen
8100500	Ohjelmistotekniikan matemaattiset menetelmät	3	Pakollinen

Huomautuksia
Voidaan sisällyttää myös jatko-opintoihin. Luennoidaan parillisina vuosina. Vuorottelee opintojakson 8101150 kanssa. Ei luennoida lukuvuonna 2003-2004.

Kurssin kotisivu