This HTML5 document contains 32 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n12http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
dctermshttp://purl.org/dc/terms/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/subjekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n13http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/IAA1019901/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n16http://reference.data.gov.uk/id/gregorian-year/
n9http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:IAA1019901
rdf:type
n17:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=IAA1019901
dcterms:description
We plan to work in the following related areas: the complexity of propositional calculus, bounded arithmetic, circuit complexity, communication complexity, efficient algorithms, on-line algorithms, higher-order arithmetic and set theory, and model theory of fields. The areas both overlap in results and use same or similar methods. The main aim is to gain better understanding of the phenomenon of complexity. The output will be scientific publications. Plánujeme pracovat v následujících souvisejících oblastech: složitost výrokových kalkulů, omezená aritmetika, obvodová složitost, komunikační složitost, efektivní algoritmy, on-line algoritmy, aritmetika vyššího řádu a teorie množin a teorie modelů těles. Tyto oblasti se jak překrývají ve výsledcích, tak používjí stejné či podobné metody. Hlavní cíl je získat lepší porozumění pro fenomén složitosti. Výstupem budou vědecké publikace v kvalitních časopisech a sbornících konferencí.
dcterms:title
Matematická logika a výpočetní složitost Mathematical logic and computational complexity
skos:notation
IAA1019901
n3:aktivita
n9:IA
n3:celkovaStatniPodpora
n6:celkovaStatniPodpora
n3:celkoveNaklady
n6:celkoveNaklady
n3:datumDodatniDoRIV
2004-10-13+02:00
n3:druhSouteze
n8:VS
n3:duvernostUdaju
n4:S
n3:fazeProjektu
n13:1385809
n3:hlavniObor
n18:BA
n3:hodnoceniProjektu
n5:V
n3:klicovaSlova
bounded arithmetic; set theory; computational complexity; proof complexity
n3:partnetrHlavni
n10:ico%3A67985840
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
52
n3:pocetZverejnenychVysledkuVRIV
52
n3:sberDatUcastniciPoslednihoRoku
n16:2004
n3:sberDatUdajeProjZameru
n16:2004
n3:statusZobrazovaneFaze
n14:DUU
n3:typPojektu
n12:P
n3:zhodnoceni+vysledku+projektu+dodavatelem
Výsledky se týkají komunikační složitosti, složitosti obvodů, složitosti výrokových důkazů, konservativnosti v omezené aritmetice, kombinatorických vlastností definovatelných množin, extremálních úloh v kombinatorice a aproximačních a on-line algoritmů
n3:zivotniCyklusProjektu
n19:ZBBBKU
n3:klicoveSlovo
bounded arithmetic set theory computational complexity