This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n14http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n15http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n9http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP015/
n12http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n18http://linked.opendata.cz/resource/domain/vavai/soutez/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n17http://linked.opendata.cz/resource/domain/vavai/aktivita/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GP201%2F07%2FP015
rdf:type
n15:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P015
dcterms:description
Navrhovatel bude ve svém projektu zkoumat kombinaci levá distributivita a idempotence. Úkolem je popis kritérií, která umožní rozhodovat o termech, zda jejich ekvivalence vyplývá nebo nevyplývá z výše jmenovaných identit. Budou zkoumány geometrické aspekty termů, což vede k normální formě levé distributivity a idempotence; bude také zkoumán geometrický monoid těchto identit a s ním související struktury. K řešení problému též může vést studium levé distributivity a levé idempotence. The goal of the project is to study the combination of left distributivity and idempotency in order to obtain criteria that enables us to decide whether their equivalence follows from the above mentioned identities or not. Geometrical aspects of terms shall be studied which leads to a normal form of left distributivity and left idempotency. The geometrical monoid of these identities and related structures will also be studied. The study of left distributivity together with left idempotency can lead toa result too.
dcterms:title
Word problem in free left distributive idempotent groupoids Problém slov ve volných levodistributivních idempotentních grupoidech
skos:notation
GP201/07/P015
n3:aktivita
n17:GP
n3:celkovaStatniPodpora
n9:celkovaStatniPodpora
n3:celkoveNaklady
n9:celkoveNaklady
n3:datumDodatniDoRIV
2015-01-22+01:00
n3:druhSouteze
n21:VS
n3:duvernostUdaju
n7:S
n3:fazeProjektu
n12:65824793
n3:hlavniObor
n4:BA
n3:hodnoceniProjektu
n11:U
n3:kategorie
n10:ZV
n3:klicovaSlova
word problem; left distributivity; idempotency; groupoids
n3:partnetrHlavni
n16:orjk%3A41310
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
3
n3:pocetZverejnenychVysledkuVRIV
3
n3:posledniUvolneniVMinulemRoce
2009-04-22+02:00
n3:prideleniPodpory
n6:201%2F07%2FP015
n3:sberDatUcastniciPoslednihoRoku
n13:2009
n3:sberDatUdajeProjZameru
n13:2010
n3:soutez
n18:SGA02007GA1PD
n3:statusZobrazovaneFaze
n19:DUU
n3:typPojektu
n14:P
n3:ukonceniReseni
2009-12-31+01:00
n3:zahajeniReseni
2007-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
Řešitel dosáhl v oblasti levodistributivních idempotentních grupoidů, na které byl projekt zaměřen, částečného řešení formulovaného problému (přijatý článek v Mathematica Slovaca). Významnější výsledky však získal v související oblasti automorfních lup (p .
n3:zivotniCyklusProjektu
n5:ZBKU
n3:klicoveSlovo
left distributivity word problem idempotency