| | |
|---|
| Údaje o projektu |
| Identifikační kód | GA201/93/0950 |
| Důvěrnost údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Název v původním jazyce | Kategoriální metody teorie struktur a informatiky |
| Poskytovatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Program | GA - Standardní projekty (1993-…) |
| Hlavní obor | BA - Obecná matematika |
| Zahájení řešení | 1993 |
| Ukončení řešení | 1995 |
| Poslední stav řešení | U - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení |
| Finance projektu | |
| Období | 1993 | 1994 | 1995 | celkem |
|---|
| Výše podpory ze státního rozpočtu | 450 tis. Kč | 450 tis. Kč | 0 tis. Kč | 900 tis. Kč |
| Celkové uznané náklady | 0 tis. Kč | 450 tis. Kč | 0 tis. Kč | 450 tis. Kč |
| Typ | skutečně čerpané | skutečně čerpané | skutečně čerpané |
|
| Cíle řešení v původním jazyce | 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 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é obasti, a na interní grant 8010, který na ČVUT letos již třetím roce získal prof. Adámek. |
| Zhodnocení výsledků řešení česky | XXX |
| Rok dodání údajů do CEP | 1996 |
| Systémové označení dodávky dat | CEP/1996/GA0/GA06GA/V/1:1 |
| Účastníci projektu |
| Počet příjemců | 1 |
| Počet dalších účastníků projektu | 2 |
| Příjemce / Organizační jednotka garantující řešení | České vysoké učení technické v Praze / Fakulta elektrotechnická |
| Řešitel | Prof. RNDr. Jiří Adámek, DrSc. (státní příslušnost: CZ - Česká republika; tel.: 02-24311041) |
| Další účastník projektu | Masarykova univerzita |
| Řešitel | Prof. RNDr. Jiří Rosický, DrSc. (státní příslušnost: CZ - Česká republika) |
| Další účastník projektu / Organizační jednotka garantující řešení | Univerzita Karlova v Praze / Matematicko-fyzikální fakulta |
| Řešitel | Prof. RNDr. Věra Trnková, DrSc. (státní příslušnost: CZ - Česká republika) |
| Poznámka: Finance účastníků projektu jsou sledovány od roku 2007 |
| Výsledky projektu v RIV |
| Počet výsledků v RIV | 13 |
| Výsledek druhu J | RIV/00216208:11320/00:00001290 - Nearness, Subfitness and Sequential Regularity (2000) |
| Výsledek druhu J | RIV/00216208:11320/00:00001719 - Representation of algebraic theories and non-expanding maps (2000) |
| Výsledek druhu J | RIV/00216224:14310/98:00000718 - A useful fixpoint theorem (1998) |
| Výsledek druhu J | RIV/00216224:14310/97:00000539 - Accessible categories, saturation and categoricity (1997) |
| Výsledek druhu J | RIV/00216224:14310/97:00000536 - Finitary sketches (1997) |
| Výsledek druhu J | RIV/00216224:14310/97:00000537 - Finite models of sketches (1997) |
| Výsledek druhu J | RIV/00216224:14310/97:00000538 - Simple involutive quantales (1997) |
| Výsledek druhu D | RIV/00216224:14310/96:00003837 - A topological Banach space model of linear logic (1996) |
| Výsledek druhu J | RIV/00216224:14310/96:00000406 - An algebraic description of locally multipresentable categories (1996) |
| Výsledek druhu J | RIV/00216224:14310/96:00000405 - On geometric and finitary sketches (1996) |
| Výsledek druhu J | RIV/00216224:14310/95:00000332 - Boolean and distributive ordered sets: characterization and representation by sets (1995) |
| Výsledek druhu J | RIV/00216224:14310/95:00000335 - Finitary sketches and finitely accessible categories (1995) |
| Výsledek druhu J | RIV/00216224:14310/95:00000336 - On preaccessible categories (1995) |
nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).