FI:I027 Systémy na prepisovanie termov - Informace o předmětu

I027 Systémy na prepisovanie termov

Rozsah

0/0. 2 kr. Doporučované ukončení: k. Jiná možná ukončení: z.

Vyučující

Igor Prívara (přednášející)

Předpoklady

Nutno absolvovat M009 Algebra II a I008 Výpočtová logika, doporučeno absolvovat I013 Logické programování I a I014 Funkcionální programování.

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

• Systémy na prepisovanie termov sú jednoduchým výpočtovým modelom pre teórie definované rovnosťami. Preto sú zaujímavé pre celý rad aplikácií, založených na ekvacionálnom uvažovaní, napr. symbolické algebraické výpočty, výpočtová logika (automatizovaná podpora dokazovania teorém), špecifikácie a verifikácia programov, programovacie jazyky vysokej úrovne, atď.
• Ekvacionálne teórie.
• Unifikačné problémy.
• Prepisovanie termov.
• Zúplňovacie procedúry.
• Modifikácie systémov na prepisovanie termov.
• Modulárne systémy na prepisovanie termov.
• Dokazovanie teorém.
• Funkcionálne a logické programovanie.
• Ekvacionálne programovanie.
• Dokazovanie vlastností algebraických špecifikácií.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1995/I027