Categorical Methods in Theory of Structures and Computer Science

Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
Contest type
—
Contract ID
—

Project name in Czech
Kategoriální metody teorie struktur a informatiky
Annotation in Czech
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 rolo 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. řádua vproblematice 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é obasti, a na interní grant 8010, který na ČVUT letos již třetím roce získal prof. Adámek.

R&D category
—
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1996/GA0/GA06GA/V/1:1
Data delivery date
—

Similar projects(10)