Bc. Pavel Zoubek

Bachelor's thesis

Úplnost ekvacionální logiky

The Completeness Theorem for Equational Logic
Abstract:
Hlavním cílem této bakalářské práce bylo zpracovat téma ekvacionální logiky ve formě srozumitelné pro studenty seznámené se základy univerzální algebry a ukázat některé aplikace. Práce obsahuje zejména základní definice a věty, ukázky řešení problému identit pomocí modelu volné algebry, ekvacionální logiku, větu o úplnosti ekvacionální logiky a některé její aplikace.
Abstract:
The main goal of this thesis was to compile the subject of equational logic in a form comprehensible to students who are familiar with elements of universal algebra, and to present some applications of the subject. The thesis contains mainly basic definitions and theorems, examples of solving the identity problem using the free algebra model, equational logic, the completeness theorem of equational …more
 

Keywords

algebra volná algebra identita ekvacionální logika problém identit
 
Language used: Czech
Date on which the thesis was submitted / produced: 11. 1. 2012
Identifier: https://is.muni.cz/th/buls0/

Thesis defence

  • Date of defence: 27. 6. 2012
  • Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
  • Reader: Mgr. Marek Filakovský, Ph.D.

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.
All theses