Go to main content | Go to main menu | Go to search

Project information
Categorical Methods in Theory of Structures and Computer Science

Investor logo
Project Identification
GA201/93/0950
Project Period
1/1993 - 1/1995
Investor / Pogramme / Project type
Czech Science Foundation
  • Standard Projects
MU Faculty or unit
Faculty of Science
Cooperating Organization
Charles University
  • Responsible person prof. RNDr. Věra Trnková, DrSc.
Czech Technical University Prague
  • Responsible person prof. RNDr. Jiří Adámek, DrSc.

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

1998

1997

1996

1995

Previous 1 2 Next

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