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

Logo poskytovatele
Kód projektu
GA201/93/0950
Období řešení
1/1993 - 1/1995
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Přírodovědecká fakulta
Spolupracující organizace
Univerzita Karlova
České vysoké učení technické v Praze

V návaznosti na výsledky dosažené v minulosti řešiteli ve vzájemné spolupráci a spolupráci se zahraničními kolegy je projekt zaměřen na rozvíjení kategoriálních metod v teorii matematických struktur a v teoretické informatice. Speciálně budou vyšetřovány (1) pevné body funktorů a jejich role v sémantice programovacích jazyků, (2) syntaxe a sémantika popisu matematických struktur, (3) reprezentace určité struktury jinými strukturami, (4) logické aspekty teorie struktur, zejména možnosti teorií 1. řádu a v problematice algebraických "clones" struktur, (5) lokály a kvantály a jejich aplikace v teoretické informatice. Projekt navazuje na projekt TEMPUS 2692-92/2, který v r. 1991 získali řešitelé na spolupráci s 18 evropskými univerzitami v pedagogické oblasti, a na interní grant 8010, který na ČVUT letos již třetím roce získal prof. Adámek.

Publikace

Počet publikací: 11


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.