Grant IAA100190902
1.1.2009 - 31.12.2013
Matematická logika, složitost a algoritmy
Projekt základního výzkumu v matematické logice a teoretické informatice. Soustredíme se na omezenou aritmetiku a dukazovou složitost, teorii množin, teorii výpocetní složitosti a teorii algoritmu. Témata výzkumu sahají od oblastí základu matematiky až po algoritmické problémy motivované aplikovaným výzkumem. Výsledky projektu budou publikovány v kvalitních
zahranicních casopisech a sbornících predních výberových konferencí v oboru.
Participating institutions:
Institute of Mathematics AS CR
People:
CZ
