Závěrečná práce: Jakub Lédl: Vícedruhová rovnostní logika
Bakalářská práce
Získaná ocenění:
Cena děkana FI za vynikající závěrečnou práci
Vícedruhová rovnostní logika
Many-sorted equational logic
Jakub Lédl
Anotace
Naivní rozšíření klasické rovnostní logiky na algebraické struktury s více nosnými množinami není korektní. Tato práce detailně představuje dva způsoby, kterými lze rozšířit rovnostní logiku tak, aby byla zachována její korektnost a úplnost.
Abstract
The naive extension of classical equational logic to algebraic structures with multiple carrier sets fails to be sound. This thesis gives a detailed presentation of two distinct approaches to extending the logic in a way that ensures soundness and completeness of the resulting system.
Zadání práce
Cílem práce je srozumitelně vysvětlit komplikace, které nastávají při zobecňování rovnostní logiky na vícedruhové algebry, představit metody jejich řešení a ilustrovat je na příkladech.
Práce zkontrolována:
20. 5. 2016 14:54, doc. Mgr. Michal Kunc, Ph.D., učo 2906
20. 5. 2016 14:54, doc. Mgr. Michal Kunc, Ph.D., učo 2906
- Zadáno/změněno 23. 6. 2016 16:24, Helena Kryštofová
- Záznam založen 29. 3. 2016 14:30, Jana Zemanová, učo 9619
- Zveřejnit od 19. 5. 2016 13:15, Alena Dvořáková
- Práce převzata 19. 5. 2016 13:15, Alena Dvořáková
Jazyk práce
angličtina
Termín obhajoby
23. 6. 2016
Práce byla úspěšně obhájena
Literatura
- GOGUEN, J. A. a J. MESEGUER. Completeness of many-sorted equational logic. Houston Journal of Mathematics. 1985, roč. 11, č. 3, s. 307-334.
- MANCA, Vincenzo a Antonino SALIBRA. Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets. Theoretical Computer Science. 1992, roč. 94, č. 1, s. 101-124.
Studijní program
Informatika
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap
Mgr. Jana Grunová -
Metrický prostor spojitých funkcí: teorie a aplikace
Mgr. Filip Svoboda -
Vliv počtu jedinců rostlin na diverzitu lesní vegetace
Mgr. Dominik Zukal -
Variety metabelovských grup
Mgr. Bc. Jana Káňová -
Deduction in Matching Logic
Mgr. Adam Fiedler -
Relace pro začátečníky
Bc. Karin Jánošová -
Assessing the Data Quality of Wikipedia
Mgr. Rajivv Rajivv -
Automatická sumarizace textu
Mgr. Petr Machovec, učo 359331
Název
Vložil
Vloženo
Práva
Složky
Soubory
12. 6. 2016
-
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.