Předmět Návrh a verifikace algoritmů (IV022)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IV022 - Návrh a verifikace algoritmů, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Cílem předmětu je seznámit se s metodami návrhu a verifikace malýchsekvenčních algoritmů. Studenti si osvojí základní verifikační techniky.Na konci tohoto kurzu bude student schopen:navrhovat malé sekvenční algoritmy a dokazovat jejich správnost.
Osnova
Programy jako transformátory predikátů.Nejslabší vstupní podmínka (wp), vlastnostitransformátorů, správnost algoritmu.Programovací jazyk GCL.Syntaxe, definice sémantiky pomocí transformátorů predikátů,SKIP, ABORT,vícenásobné přiřazení, sekvence, alternativa, cyklus.Programátorská logika.Zákon sekvence, zákon alternativy, zákon cyklu, vektorové proměnné.Návrh algoritmů.Principy a strategie pro návrh založené na programátorskélogice, zákon současného návrhu a verifikace.Příklady aplikace metodologie na návrh konkrétních algoritmů. Návrhefektivních algoritmů, vyhledávání a třídění.
Literatura
DIJKSTRA, Edsger W. a W. H. J. FEIJEN. A method of programming. Wokingham: Addison-Wesley Publishing Company, 1998. vii, 188 s. ISBN 0-201-17536-3. infoKALDEWAIJ, A. Programming :the derivation of algorithms. New York: Prentice Hall, 1990. xii, 216 s. ISBN 0-13-204108-1. infoGRIES, David. The Science of Programming. New York: Springer-Verlag, 1981. 366 s., ob. ISBN 0-387-90641-X. info
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
prof. RNDr. Luboš Brim, CSc.