Attributes | Values |
---|
rdf:type
| |
Description
| - Toto je návrh základního výzkumu v teorii složitosti a v logických základech aritmetiky. Budeme pracovat na otevřených problémech v následujících oblastech: teorie složitosti, omezená aritmetika a výrokový počet, aritmetika vaššího řádu a teorie množin. Zvláště se zaměříme na následující problémy: spodní odhady pro komunikační složitost, vztah kryptografických hypotéz k aritmetice, tvrzení o nezávislosti pro omezenou aritmetiku, spodní odhady pro výrokový počet, modely alternativní teorie množin. (cs)
- This is a project of basic research in complexity theory and logical foundations of arithmetic. We plan to work on open problems in the following areas: complexity theory, bounded arithmetic and propositional logic, higher order arithmetic and propositional logic, higher order arithmetic and set theory. Problems of particular interest are: lower bounds for communication complexity, relation of cryptogrphical conjectures to arithmetic, independence results for bounded arithmetic, lower bounds for propositional pr. system, models of alternative set theory. (en)
|
Title
| - Arithmetic, proof theory and complexity theory (en)
- Aritmetika, teorie důkazů a teorie složitosti (cs)
|
http://linked.open...avai/druh-souteze
| |
http://linked.open...domain/vavai/faze
| |
http://linked.open...vavai/hlavni-obor
| |
http://linked.open...vavai/id-aktivity
| |
http://linked.open.../vavai/id-souteze
| |
http://linked.open...n/vavai/kategorie
| |
http://linked.open...nujicich-prijemcu
| |
http://linked.open...avai/poskytovatel
| |
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 | |