Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Algebraic Specifications - NALG058

Title:	Algebraické specifikace
Guaranteed by:	Department of Algebra (32-KA)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2008
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
Teaching methods:	full-time

Guarantor:	prof. RNDr. Jaroslav Ježek, DrSc.
Class:	Algebra v informatice
Classification:	Informatics > Programming, Theoretical Computer Science Mathematics > Algebra
Pre-requisite :	NMAI031
Is incompatible with:	NMAI032
Is interchangeable with:	NMAI032

Opinion survey results Examination dates Schedule Noticeboard

Annotation -

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

Last update: T_KA (25.05.2001)

Literature - Czech

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 -

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.

Last update: T_KA (26.04.2004)