| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Cílem projektu je studium rovnicových teorií a jim odpovídajících variet algeber z hlediska strukturního a algoritmického. Pod strukturními vlastnostmi rozumíme například popis volných algeber a svazu podvariet, popis jednoduchých a subdirektně ireducibilních algeber a také otázky (ne)konečné bázovanosti. Výzkum by měl směřovat k varietám v jistém smyslu neobvyklým, ve snaze nalézt protipříklad na Parkovu domněnku a další věhlasné problémy, jež jsou v současné době částečně řešeny za dodatečných předpokladů (např. modularita kongruencí, vypouštění typů, asociativita, apod.). V algoritmické části projektu budou studovány především algoritmy na automatickou dedukci v rovnicové logice, jejich současné implementace a možnost jejich využití v algebraickém výzkumu. Projekt obsahuje i implementaci metod alternativních a jejich testování v praxi. (cs)
- 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 solved under 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 and possibility of their exploitation in algebraic research. The project includes also implementation of alternative methods and their practical tests. (en)
|
| Title
| - Algorithmic and structural problems of equational logic (en)
- Algoritmické a strukturní problémy rovnicové logiky (cs)
|
| http://linked.open...vai/cislo-smlouvy
| |
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| - equational theories; universal algebra; automated reasoning (en)
|
| http://linked.open...avai/konec-reseni
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...avai/start-reseni
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)