Algebraic Specifications - NMAI032

• Title: Algebraické specifikace
• Guaranteed by: Department of Algebra (32-KA)
• Faculty: Faculty of Mathematics and Physics
• Actual: unlimited
• Semester: summer
• E-Credits: 3
• Hours per week, examination: summer s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Incompatibility : NALG058
• Interchangeability : NALG058

Annotation

Ú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í.

Last update: ()

Literature

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

Last update: Zakouřil Pavel, RNDr., Ph.D. (05.08.2002)

Syllabus

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.

Last update: ()