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

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
  • 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.