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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n11http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60460709%3A41110%2F08%3A25366%21RIV13-MSM-41110___/
n19http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
n5http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60460709%3A41110%2F08%3A25366%21RIV13-MSM-41110___
rdf:type
n19:Vysledek skos:Concept
dcterms:description
The monography presents theoretical mathematical foundations of the fundamental concepts of the computer science and algorithm theory.The scope contains following problems: Sets, Relations, Graphs, Algebras and Structures, Tnformation, Data and Coding, Formal Languages and Grammers, Formal computation models, Computational complexity, Examples of algorithm analysis and Nontraditional computation procedures. The monography presents theoretical mathematical foundations of the fundamental concepts of the computer science and algorithm theory.The scope contains following problems: Sets, Relations, Graphs, Algebras and Structures, Tnformation, Data and Coding, Formal Languages and Grammers, Formal computation models, Computational complexity, Examples of algorithm analysis and Nontraditional computation procedures.
dcterms:title
Mathematical Foundations of Computer Science Mathematical Foundations of Computer Science
skos:prefLabel
Mathematical Foundations of Computer Science Mathematical Foundations of Computer Science
skos:notation
RIV/60460709:41110/08:25366!RIV13-MSM-41110___
n3:aktivita
n13:Z
n3:aktivity
Z(AV0Z10750506), Z(MSM6046070904)
n3:dodaniDat
n12:2013
n3:domaciTvurceVysledku
n8:7960255 n8:3940551
n3:druhVysledku
n20:B
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
377964
n3:idVysledku
RIV/60460709:41110/08:25366
n3:jazykVysledku
n18:eng
n3:klicovaSlova
sets, relations, operations, algebras, structures, information theory, data, codes, formal languages, grammars, models of computation, finite automata, pushdown automata, Turing machine, comutational complexity, algorithm analysis, searching, ordering, optimalization, graph algorithms, nontraditional procedures
n3:klicoveSlovo
n4:comutational%20complexity n4:codes n4:graph%20algorithms n4:models%20of%20computation n4:sets n4:ordering n4:algebras n4:relations n4:optimalization n4:formal%20languages n4:pushdown%20automata n4:algorithm%20analysis n4:nontraditional%20procedures n4:Turing%20machine n4:information%20theory n4:operations n4:finite%20automata n4:structures n4:data n4:grammars n4:searching
n3:kontrolniKodProRIV
[6C72B494AFAF]
n3:mistoVydani
Praha
n3:nazevZdroje
Mathematical Foundations of Computer Science
n3:obor
n9:BD
n3:pocetDomacichTvurcuVysledku
2
n3:pocetStranKnihy
272
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n12:2008
n3:tvurceVysledku
Vaníček, Jiří Papík, Martin Pergl, Robert
n3:zamer
n5:MSM6046070904 n5:AV0Z10750506
s:numberOfPages
272
n7:hasPublisher
Kernberg Publishing, s. r. o. & Alfa Nakladatelství, s. r. o.
n17:isbn
978-80-87168-06-6
n11:organizacniJednotka
41110