Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

6 (0,149s)

Projekt

Úplně uspořádané monoidy (GJ15-07724Y)

Tématem projektu je výzkum svazově uspořádaných monoidů se zvláštním důrazem na ty, které jsou úplně uspořádané. Protože dosud známé metody pro zkoumání této oblasti matematiky se zdají být vyčerpané, je záměrem projektu využít nových metod,...

BA - Obecná matematika

  • 2015 - 2017
  • 2 999 tis. Kč
  • 2 999 tis. Kč
  • GA ČR
Projekt

Geometrie asociativních struktur (GPP201/12/P055)

přizpůsobit tak, aby charakterizovaly asociativitu úplně uspořádaných monoidů asociativních struktur, především úplně uspořádaných monoidů, které hrají důležitou roli......

BA - Obecná matematika

  • 2012 - 2014
  • 1 578 tis. Kč
  • 1 578 tis. Kč
  • GA ČR
Projekt

Hyperkrychlové, grafové a hypergrafové struktury (GA14-10799S)

z předchozích výsledků výzkumného týmu (pokrytí hyperkrychle cestami, vlastnosti monoidu...

IN - Informatika

  • 2014 - 2018
  • 4 238 tis. Kč
  • 4 238 tis. Kč
  • GA ČR
Projekt

Problém slov ve volných levodistributivních idempotentních grupoidech (GP201/07/P015)

; bude také zkoumán geometrický monoid těchto identit a s ním související struktury. K řešení...

BA - Obecná matematika

  • 2007 - 2009
  • 510 tis. Kč
  • 510 tis. Kč
  • GA ČR
Projekt

Nové přístupy k reziduovaným posetům (GF15-34697L)

Projekt je zaměřen na výzkum reziduovaných svazů a obecněji reziduovaných posetů, které jsou důležitou algebraickou strukturou v různých matematických disciplínách, včetně logiky. Cílem je dosažení podstatného pokroku v teorii reziduovaných posetů – ...

BA - Obecná matematika

  • 2015 - 2017
  • 8 066 tis. Kč
  • 8 066 tis. Kč
  • GA ČR
Projekt

Algebraické metody v teorii automatů a formálních jazyků (GA201/06/0936)

Projekt je zaměřen na rozvoj algebraických metod v teorii formálních jazyků. Zejména budeme dále zkoumat třídy syntaktických struktur regulárních jazyků, jako (uspořádaných) syntaktických monoidů, syntaktických polookruhů, syntaktických homo...

BA - Obecná matematika

  • 2006 - 2008
  • 900 tis. Kč
  • 900 tis. Kč
  • GA ČR
  • 1 - 6 z 6