I022 Programování a logika

Fakulta informatiky
zima 1997
Rozsah
2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Luboš Brim, CSc. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Výpočet, algoritmus a programovací jazyk.
  • Abstrakce výpočtu, výpočetní stroje, správnost stroje, stavový prostor.
  • Programy jako transformátory predikátů. Nejslabší vstupní podmínka (wp), vlastnosti transformátorů, příklady transformátorů.
  • 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ů.
Předmět je zařazen také v obdobích zima 1995, zima 1996, podzim 1998, podzim 1999, podzim 2000, podzim 2001.