Booleovské funkce
Cíle projektu
Jedná se o projekt z oblasti základního výzkumu v teoretické informatice na pomezí logiky, umělé inteligence a teorie algoritmů. Charakter projektu je převážně badatelsko-teoretický a sestává jednak z rešerší článků které souvisí se zkoumanou problematikou a jednak z vlastní badatelské práce jejímž cílem jsou nové výsledky. Menší část práce může být také experimentálního charakteru (implementace a testování nových algoritmů).
Klíčová slova
Boolean functionsHorn functionsminimization of Boolean functionssatisfiability of Boolean func
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Postdoktorandské granty
Veřejná soutěž
Postdoktorandské granty 7 (SGA02007GA1PD)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
201/07/P168
Alternativní jazyk
Název projektu anglicky
Boolean functions
Anotace anglicky
This is a basic research project from the area of theoretical computer science at the border of logic, artificial intelligence and algorithms. It consists from study of the literature connected with the problems being researched and from original research with developing of new results. Small part of this project may consist of an implementation and experimental testing of newly developed algorithms.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)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
Kvalitní postdoc projekt s výstupy v kvalitních časopisech. Teoretické výsledky, zčásti motivované potřebami analýzy dat, které mohou mít praktické uplatnění.
Termíny řešení
Zahájení řešení
1. 1. 2007
Ukončení řešení
31. 12. 2009
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
22. 4. 2009
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
CEP10-GA0-GP-U/03:3
Datum dodání záznamu
1. 3. 2016
Finance
Celkové uznané náklady
579 tis. Kč
Výše podpory ze státního rozpočtu
579 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
579 tis. Kč
Statní podpora
579 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
IN - Informatika
Doba řešení
01. 01. 2007 - 31. 12. 2009