FI:I022 Programování a logika - Informace o předmětu

I022 Programování a logika

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

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ů.

• Statistika zápisu (zima 1997, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1997/I022