Úplnost ekvacionální logiky

Bc. Pavel Zoubek

Bakalářská práce

The Completeness Theorem for Equational Logic

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

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
• Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
• Oponent: Mgr. Marek Filakovský, Ph.D.

Masarykova univerzita

Přírodovědecká fakulta

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