Algoritmické a strukturní problémy rovnicové logiky

Název projektu anglicky
Algorithmic and structural problems of equational logic
Anotace anglicky
The subject of the present project are equational theories and their corresponding varieties of algebras, from the structural and algorithmic point of view. By structural properties we mean, e.g., a description of free algebras and of the lattice of subvarieties, a description of simple and subdirectly irreducible algebras and also existence of finite bases for equations. We aim towards varieties in a sense unusual, that could yield a counterexample for Park's conjecture or other famous problems solvedunder additional structural assumptions (such as congruence modularity, omitting of types, associativity, etc.). In the algorithmic part of the project we will study algorithms for automated deduction in equational logic, their recent implementations andpossibility of their exploitation in algebraic research. The project includes also implementation of alternative methods and their practical tests.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Cíle obou částí projektu, strukturní a algoritmické, byly naplněny. V rámci projektu bylo sepsáno celkem 11 článků, jde o řadu cenných poznatků zapadajících do současného výzkumu v algebře i automatickém dokazování. Navíc jsem se pod?

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP11-GA0-GP-U/04:3
Datum dodání záznamu
20. 3. 2015

Podobné projekty(10)