Úplnost ekvacionální logiky

Bc. Pavel Zoubek

Bachelor's thesis

The Completeness Theorem for Equational Logic

Anotácia:

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 logic and some applications of equational logic.

Kľúčové slová

algebra, volná algebra, identita, ekvacionální logika, problém identit

Jazyk práce: Czech

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

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

• Obhajoba proběhla 27. 6. 2012
• Vedúci: doc. Mgr. Ondřej Klíma, Ph.D.
• Oponent: Mgr. Marek Filakovský, Ph.D.

Masaryk University

Faculty of Science

Bachelor programme / odbor:
Mathematics / Mathematics