T. Kärkkäinen
Kurssi: Formaalit menetelmät 2002
Harjoitus 4: Ag B212.1 14-16

...kuten arveltiinkin, jatketaan edellisten demojen tekemistä. Lisäksi käydään itse läpi Hoaren lausekkeisiin perustuva ohjelmanpätkän oikeaksi todistaminen.

Tehtävä 1

Jatka edellisten demojen tehtävien 2 ja 3 tekemistä.

Tehtävä 2

Halutaan laskea lausekkeen arvo annetuille luonnollisille luvuille ja Olkoon meille annettu jälkiehdot (vastaus) ja i = n (silmukkamuuttuja). Muodosta laskenta-algoritmi ja todista se oikeaksi Hoaren aksioomien avulla.