Bc. Martin Kubíček

Bachelor's thesis

Unifikační teorie a univerzální algebra

Unification theory and universal algebra
Abstract:
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 …more
 

Keywords

Univerzální algebra unifikační teorie unifikace E-unifikace unifikační typ.
 
Language used: Czech
Date on which the thesis was submitted / produced: 13. 1. 2010
Identifier: https://is.muni.cz/th/hvu8u/

Thesis defence

  • Date of defence: 10. 2. 2010
  • Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
  • Reader: Mgr. Jan Herman

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Bachelor programme / field:
Mathematics / Mathematics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.