| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky až po algoritmické problémy motivované aplikovaným výzkumem. Výsledky projektu budou publikovány v kvalitních zahraničních časopisech a sbornících předních výběrových konferencí v oboru. (cs)
- Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The topics range from foundational areas of mathematics to algorithmic problems motivated by applied research. The results of the project will be published in high quality international scientific journals and in the proceedings of selective conferences. (en)
|
| Title
| - Matematická logika, složitost a algoritmy (cs)
- Mathematical logic, complexity, and algorithms (en)
|
| http://linked.open...vai/cislo-smlouvy
| |
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vai/vedlejsi-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| - theoretical computer science; mathematical logic; set theory; proof complexity; computational complexity; theory of algorithms; scheduling (en)
|
| http://linked.open...avai/konec-reseni
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...avai/start-reseni
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)