Algebraické specifikace - NALG058

• Anglický název: Algebraic Specifications
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2008
• 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í
• Garant: prof. RNDr. Jaroslav Ježek, DrSc.
• Třída: Algebra v informatice
• Kategorizace předmětu: Informatika > Programování, Teoretická informatika; Matematika > Algebra
• Prerekvizity : NMAI031
• Je neslučitelnost pro: NMAI032
• Je záměnnost pro: NMAI032

Anotace

čeština

Aplikace multisortové univerzální algebry a rovnicové logiky do teorie abstraktních datových souborů. Pojem algebraické specifikace, její iniciální sémantiky a problém korektnosti.

Poslední úprava: ()

angličtina

Applications of multisorted universal algebra and equational logic in the theory of abstract data types.

Poslední úprava: T_KA (25.05.2001)

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

čeština

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: ()

angličtina

1. Equational logic of multi-sorted algebras.

2. Algebraic specification and initial semantics.

3. Abstract data types and their algebraic specification.

4. Classical semantics, free functors, foundations of category theory.

5. Normal forms and term rewrite systems; connections with algebraic specification.

Poslední úprava: T_KA (26.04.2004)