Project information
Categorical Methods in Theory of Structures and Computer Science

Information

This project doesn't include Faculty of Education. It includes Faculty of Science. Official project website can be found on muni.cz.
Investor logo
Project Identification
GA201/93/0950
Project Period
1/1993 - 1/1995
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Science
Cooperating Organization
Charles University
Czech Technical University Prague

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.

Publications

Total number of publications: 11


Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.