Jak Začít?

Máš v počítači zápisky z přednášek
nebo jiné materiály ze školy?

Nahraj je na studentino.cz a získej
4 Kč za každý materiál
a 50 Kč za registraci!




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.