Unifikační teorie a univerzální algebra

Bc. Martin Kubíček

Bakalářská práce

Unification theory and universal algebra

Anotace:

Hlavní cíl této práce je ukázat, jaký unifikacní typ má teorie, která obsahuje pouze unární operacní symbol a promenné. Práce je rozdelena do tří kapitol. První kapitola obsahuje definice z univerzální algebry potrebné v této práci. Druhá kapitola je věnována popisu variet unárních algeber. Ve třetí kapitole jsou uvedeny základní pojmy unifikační teorie, několik příkladů a hlavní cíl této práce.

Abstract:

The main objective is to show what type of unification is a theory that contains only unary function symbol and variables. The work is divided into three chapters. The first chapter contains definitions of universal algebra needed in this work. The second chapter is devoted to the description of varieties of unary algebras. The third chapter provides fundamental concepts of unification theory, several examples and the main objective of this work.

Klíčová slova

Univerzální algebra, unifikační teorie, unifikace, E-unifikace, unifikační typ.

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 13. 1. 2010

Obhajoba závěrečné práce

• Obhajoba proběhla 10. 2. 2010
• Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
• Oponent: Mgr. Jan Herman

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Obecná matematika