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

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

Namespace Prefixes

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

Statements

Subject Item
n2:IAA1019401
rdf:type
n19:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=IAA1019401
dcterms:description
Jedná se o teoretický výzkum v matematice a teoretické informatice. Hlavním cílem je studovat pojem výpočetní složitosti z několika hledisek: 1. teorii prvního řádu, 2. výrokového počtu a 3. booleovských obvodů. Konkrétně se jedná o studium omezené aritmetiky, složitosti důkazů ve výrokovém počtu a různých výpočetních modelů. Budeme zkoumat také související otázky logických základů matematiky a teorie množin. This is a purely tehoretical research in mathematics and theoretical computer science. The main aim is to study the concept of computational complexity from several points of view:1. first order tehories, 2. the propositional calculus and 3. voolean circuits. MOre specifically, we will study Bounded Arithmetic, the complexity of proofs in propositional calculus and various computational models. Furthermore, we shall investigate related questions in the foundations of mathematics and set theory.
dcterms:title
Teorie, důkazy a výpočetní složitost Theories, proofs and computational complexity
skos:notation
IAA1019401
n3:aktivita
n8:IA
n3:celkovaStatniPodpora
n11:celkovaStatniPodpora
n3:celkoveNaklady
n11:celkoveNaklady
n3:datumDodatniDoRIV
2009-07-02+02:00
n3:druhSouteze
n13:VS
n3:duvernostUdaju
n16:S
n3:fazeProjektu
n5:69258836
n3:hlavniObor
n14:BA
n3:hodnoceniProjektu
n22:V
n3:kategorie
n20:ZV
n3:klicovaSlova
logic; propositional calculus; computational complexity; set theory
n3:partnetrHlavni
n9:ico%3A67985840
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
68
n3:pocetZverejnenychVysledkuVRIV
68
n3:posledniUvolneniVMinulemRoce
2008-02-21+01:00
n3:prideleniPodpory
n7:IAA1019401
n3:sberDatUcastniciPoslednihoRoku
n17:2008
n3:sberDatUdajeProjZameru
n17:2009
n3:soutez
n4:SAV02004-A
n3:statusZobrazovaneFaze
n18:DUU
n3:typPojektu
n10:P
n3:ukonceniReseni
2008-12-31+01:00
n3:zahajeniReseni
2004-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
Theorems about proof complexity of the propositional calculus, about bounded arithmetic theories and about the complexity of boolean circuits were proved. New algorithms for on-line scheduling and analyzed their complexity were found. Byly dokázány věty o důkazové složitosti výrokového počtu, o teoriích omezené aritmetiky a složitosti booleovských obvodů. Byly nalezeny nové algoritmy pro on-line rozvrhování a analyzovali jsme jejich složitost.
n3:zivotniCyklusProjektu
n15:ZBBBKU
n3:klicoveSlovo
computational complexity propositional calculus logic