Přejít k obsahu | Přejít k hlavnímu menu | Přejít k vyhledávání

Informace o projektu
Kategoriální metody teorie struktur a informatiky

Logo poskytovatele
Kód projektu
GA201/02/0148
Období řešení
1/2002 - 12/2004
Investor / Programový rámec / typ projektu
Grantová agentura ČR
  • Standardní projekty
Fakulta / Pracoviště MU
Přírodovědecká fakulta
Spolupracující organizace
Univerzita Karlova
  • Odpovědná osoba prof. RNDr. Věra Trnková, DrSc.
České vysoké učení technické v Praze
  • Odpovědná osoba doc. RNDr. Marie Demlová, CSc.

Projekt rozvíjí metody teorie kategorií, uspořádaných množin, svazů a pologrup a aplikace těchto struktur v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické a koalgebraické specifikace datových typů a na souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických teorií, na řešení iterativních rovnic a na popis datových struktur, klony topologických a algebraických struktur, kategoriální vlastnosti kategorií koalgeber a jejich užití v teoretické informatice, bisimulace, multiplikativní svazy a jejich moduly a strukturní teorie variet, speciálně variet pologrup. Projekt bude řešen v mezinárodní spoupráci s předními pracovišti v dané oblasti a dosažené výsledky budou publikovány v mezinárodně uznávaných časopisech.

Publikace

Počet publikací: 17

2004

2003

2002

Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.