Bakalářská práce

Unifikační teorie a univerzální algebra

Unification theory and universal algebra

Martin Kubíček
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.
Zadání práce
Vypracujte přehled základních pojmů unifikační teorie z pohledu univerzální algebry. Podrobněji studujte metody užívané v ekvacionální unifikaci. Zvláštní pozornost věnujte příkladům nejdůležitějších ekvacionálních teorií. Taktéž se zaměřte na souvislost unifikačních problémů s problémy identit z univerzální algebry. Veškeré nastudované pojmy a výsledky se pokuste demonstrovat na konkrétních příkladech různých teorií.
Administrativní informace
Práce zkontrolována:
14. 1. 2010 12:17, doc. Mgr. Ondřej Klíma, Ph.D., učo 3868
Plný text práce
382,5 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
10. 2. 2010
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Ondřej Klíma, Ph.D., učo 3868
ÚMS Ústavy PřF MU

Oponent

Mgr. Jan Herman

Literatura

  • BURRIS, Stanley a H. P. SANKAPPANAVAR. A course in universal algebra. New York: Springer-Verlag, 1981, 276 s. ISBN 0387905782.
  • BAADER, F. a J. H. SIEKMANN. Unification Theory (Handbook of Logic in Artificial Inteligence and Logic Programming). Oxford University Press, 1993.
Citovat tuto práci
Masarykova univerzita Přírodovědecká fakulta
Studijní program
Matematika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Martin Kubíček PřF B-MA OM hvu8u/8
Kubíček, M.
11. 1. 2010
Složky
Soubory
Anotace anglicky annotation_english.txt
Kubíček, M.
11. 1. 2010
Anotace česky annotation.txt
Kubíček, M.
11. 1. 2010
anotace-ang.pdf
Kubíček, M.
11. 1. 2010
anotace.pdf
Kubíček, M.
11. 1. 2010
bakalarka.pdf
Kubíček, M.
11. 1. 2010
Klíčová slova keywords.txt
Kubíček, M.
11. 1. 2010
Posudek oponenta Posudek_oponenta_Kubicek.pdf
Herman, J.
7. 2. 2010

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.