WNU termy ve varietách bez typů 1 a 2

• Thesis title in Czech: WNU termy ve varietách bez typů 1 a 2
• Thesis title in English: WNU terms in varieties omitting types 1 and 2
• Academic year of topic announcement: 2008/2009
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Algebra (32-KA)
• Supervisor: doc. Mgr. Libor Barto, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 11.11.2008
• Date of assignment: 11.11.2008
• Date and time of defence: 25.06.2010 00:00
• Date of electronic submission: 25.06.2010
• Date of proceeded defence: 25.06.2010
• Opponents: RNDr. Alexandr Kazda, Ph.D.

Guidelines

Úkolem práce je rozšířit znalosti o weak near-unanimity termech v konečně generovaných varietách vypouštějících typy 1 a 2. Cílem je zesílit (například užitím vhodného softwaru) vlastnosti WNU termů užité v článku [1].

References

[1] L. Barto, M. Kozik, Constraint Satisfaction Problems of Bounded Width, manuscript
[2] D. Hobby, R. McKenzie, The structure of Finite algebras, AMS Contemporary Mathematics vol. 76, revised edition (1991).

Preliminary scope of work

Úkolem práce je rozšířit znalosti o weak near-unanimity termech v konečně generovaných varietách vypouštějících typy 1 a 2.

Preliminary scope of work in English

The aim of this thesis is to extend the knowledge about weak near-unanimity terms in finitely generated varieties omitting types 1 and 2.