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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/resource/domain/vavai/subjekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F02%2F0148/
n7http://linked.opendata.cz/resource/domain/vavai/soutez/
n16http://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/
n10http://linked.opendata.cz/resource/domain/vavai/aktivita/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GA201%2F02%2F0148
rdf:type
n15:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/02/0148
dcterms:description
The project develops methods of the theory of categories, ordered sets, lattices and semigroups and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic and coalgebraic specifications of data types and on connections of lattice theory with theoretical computer science. In particular, we will study applications of algebraic and coalgebraic theories to solutions of iterative equations and specifications of data types, clones of topological and algebraic structures, categorical properties of categories of coalgebras and their use in theoretical computer science, bisimulations, quantales and their modules and structural theory of varieties, with stress on varieties of semigroups. The work on the project will continue cooperation with a number of research groups in Europe and North America and the achieved results will be published in internationally recognized journals. Projekt rozvíjí metody teorie kategorií, uspořádaných množin, svazů a pologrup a aplikace těchto struktur v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické a koalgebraické specifikace datových typů a na souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických teorií, na řešení iterativních rovnic a na popis datových struktur, klony topologických a algebraických struktur, kategoriální vlastnosti kategorií koalgeber a jejich užití v teoretické informatice, bisimulace, multiplikativní svazy a jejich moduly a strukturní teorie variet, speciálně variet pologrup. Projekt bude řešen v mezinárodní spoupráci s předními pracovišti v dané oblasti a dosažené výsledky budou publikovány v mezinárodně uznávaných časopisech.
dcterms:title
Kategoriální metody teorie struktur a informatiky Categorical Methods of the Theory of Structures and Computer Science
skos:notation
GA201/02/0148
n3:aktivita
n10:GA
n3:celkovaStatniPodpora
n8:celkovaStatniPodpora
n3:celkoveNaklady
n8:celkoveNaklady
n3:datumDodatniDoRIV
2008-06-02+02:00
n3:druhSouteze
n4:VS
n3:duvernostUdaju
n14:S
n3:fazeProjektu
n20:1564340
n3:hlavniObor
n18:BA
n3:hodnoceniProjektu
n11:V
n3:kategorie
n13:ZV
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n17:orjk%3A21230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
2
n3:pocetVysledkuRIV
53
n3:pocetZverejnenychVysledkuVRIV
53
n3:rokUkonceniPodpory
n5:2004
n3:rokZahajeniPodpory
n5:2002
n3:sberDatUcastniciPoslednihoRoku
n5:2005
n3:sberDatUdajeProjZameru
n5:2005
n3:soutez
n7:SGA02002GA-ST
n3:statusZobrazovaneFaze
n16:DUU
n3:typPojektu
n21:P
n3:zhodnoceni+vysledku+projektu+dodavatelem
The goals of the project were fulfilled in all planned directions. Free iterative theories of C. Elgot were characterized and generalized to locally presentable categories. These results have applications in formal semantics of programming languages. In Cíle byly splněny ve všech plánovaných směrech výzkumu. Volné iterativní teorie C. Elgota byly charakterizovány a zobecněny na lokálně prezentovatelné kategorie. Dosažené výsledky mohou být využity ve formální sémantice programovacích jazyků. V teorii ko
n3:zivotniCyklusProjektu
n19:ZBKU