Fuzzy teorie množin jakožto základ fuzzy matematiky
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
KONTAKT
Veřejná soutěž
KONTAKT 7 (SMSM2009ME4)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
1324/2010-32
Alternativní jazyk
Název projektu anglicky
Fuzzy set theory as a foundation of fuzzy mathematics
Anotace anglicky
The project will study fuzzy set theories as foundational theories for fuzzy mathematics, in cooperation with Japanese colleagues. Team members will systematically investigate and combine several approaches that have previously been developed by both Czech and Japanese investigators. An important goal of the project is generalization of the methods and results in formal fuzzy set theory to a broader class of substructural logics, including linear logic and monoidal logic.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt "Fuzzy teorie množin jakožto základ fuzzy matematiky" vedl k dosažení lepšího porozumění fuzzy teoriím množin, fuzzy a substrukturálním logikám, navázání česko-japonské spolupráce v této oblasti, přednesení 30 konferenčních a seminárních přednáš?
Termíny řešení
Zahájení řešení
1. 4. 2009
Ukončení řešení
31. 12. 2010
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
2. 3. 2010
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP11-MSM-ME-U/01:1
Datum dodání záznamu
30. 6. 2011
Finance
Celkové uznané náklady
422 tis. Kč
Výše podpory ze státního rozpočtu
422 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč