About: Word problem in free left distributive idempotent groupoids     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)

AttributesValues
rdf:type
Description
  • 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. (en)
  • 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. (cs)
Title
  • Problém slov ve volných levodistributivních idempotentních grupoidech (cs)
  • Word problem in free left distributive idempotent groupoids (en)
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
  • word problem; left distributivity; idempotency; groupoids (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
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 39 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software