Algebraické specifikace - NMAI032

• Anglický název: Algebraic Specifications
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: neomezena
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Neslučitelnost : NALG058
• Záměnnost : NALG058

Anotace

Úvod do abstraktní teorie algebraických specifikací jako aplikace univerzální algebry na problémy formálního popisu datových struktur. Hlavní důraz je kladen na jednotlivé typy sémantik a na metody složitějších specifikací pomocí primitivních subspecifikací.

Poslední úprava: ()

Literatura

H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1. Monographs on Theoretical Computer Systems, Springer-Verlag, Berlin - Heidelberg - New York - Tokyo 1985

Poslední úprava: Zakouřil Pavel, RNDr., Ph.D. (05.08.2002)

Sylabus

Letní semestr:.

1. Rovnicová logika multisortových algeber 2. Algebraické specifikace a jejich iniciální sémantika 3. Abstraktní datové typy a jejich algebraické specifikace 4. Klasická sémantika, volné fuknktory, základy teorie kategorií 5. Normální formy a přepisující systémy; souvislost s algebraickými specifikacemi.

Poslední úprava: ()