About: Obecná algebra a její souvislost s informatikou

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Obecná algebra a její souvislost s informatikou Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA13-01832S
Description	The aim of the project is to solve selected problems in areas on the border of general algebra and computer science. We will focus on the following problems: complexity of the constraint satisfaction problems (the Feder-Vardi conjecture, finer complexity classification of the CSPs, various variants of CSP), the structure of universal algebras and Maltsev conditions (the Valeriote conjecture, absorption theory), the structure of selfdistributive and medial algebras (focusing on modes, and on quandles and their relation to knot theory), and word equations (binary equality languages, binary Post Correspondence Problem, independent systems of equations). A part of our research will be supported by automated methods and we plan to provide feedback to the developers of the computer systems we shall use. (en) Cílem navrženého projektu je vyřešit vybrané problémy na pomezí obecné algebry a teoretické informatiky. Práce se soustředí na následující oblasti: složitost problému splnitelnosti omezení (hypotéza Federa a Vardiho, jemnější složitostní klasifikace CSP, různé varianty CSP), struktura univerzálních algeber a mal'cevské podmínky (Valeriotova hypotéza, teorie absorpce), struktura samodistributivních a mediálních algeber (zejména teorie módů a teorie quandlů a její vazba na teorii uzlů), rovnice na slovech (binární ekvivalenční množiny, binární Postův korespondenční problém, nezávislé systémy rovnic). Jistou roli v rámci výzkumu budou hrát automatické metody a zpětná vazba autorům použitých počítačových systémů.
Title	Obecná algebra a její souvislost s informatikou General algebra and its connections to computer science (en)
skos:notation	GA13-01832S
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA13-01832S/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA13-01832S/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-04-23 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100769618
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	constraint satisfaction problem, Maltsev conditions, non-associative algebras, combinatorics on words (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	3 (xsd:int)
http://linked.open...enychVysledkuVRIV	3 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-04-18 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/13-01832S
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SGA0201300005
http://linked.open...usZobrazovaneFaze	DRRVB
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2017-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2013-02-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBB
http://linked.open.../cep/klicoveSlovo	constraint satisfaction problem Maltsev conditions non-associative algebras
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-01832S/2013/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-01832S/2014/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-01832S/2015/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-01832S/2016/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-01832S/2017/orjk%3A11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software