This HTML5 document contains 48 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/
n8http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21340%2F12%3A00201513%21RIV13-GA0-21340___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21340%2F12%3A00201513%21RIV13-GA0-21340___
rdf:type
n14:Vysledek skos:Concept
dcterms:description
Ramseyova teorie se zabývá příklady, které hledají nejmenší možnýy počet prvků zaručující určitou vlastnost. Patří mezi ně například Party Problem, Happy End Problem nebo Van der Waerden Problem. Pro počítače jsou příklady z této oblasti značně časově náročné, ale matematickou úvahou lze výsledku často dosáhnout s pomocí tužky a papíru. Ramseyovu teorii velmi rozvinul slavný mad'arský matematik Pál Erdos. Ramseyova teorie se zabývá příklady, které hledají nejmenší možnýy počet prvků zaručující určitou vlastnost. Patří mezi ně například Party Problem, Happy End Problem nebo Van der Waerden Problem. Pro počítače jsou příklady z této oblasti značně časově náročné, ale matematickou úvahou lze výsledku často dosáhnout s pomocí tužky a papíru. Ramseyovu teorii velmi rozvinul slavný mad'arský matematik Pál Erdos. Ramsey theory deals with problems of finding the smallest number guaranteeing a certain property. They are often too complex for computers while some of them may be solved with just pen and paper. Famous Ramsey theory problems are Party Problem, Happy End Problem or Van der Waerden Problem. It was the favourite discipline of the famous Hungarian mathematician Paul Erdos.
dcterms:title
Ramsey theory or problems that are too hard for computers Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
skos:prefLabel
Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité Ramsey theory or problems that are too hard for computers
skos:notation
RIV/68407700:21340/12:00201513!RIV13-GA0-21340___
n14:predkladatel
n18:orjk%3A21340
n4:aktivita
n5:P
n4:aktivity
P(GA201/09/0584)
n4:cisloPeriodika
4
n4:dodaniDat
n9:2013
n4:domaciTvurceVysledku
n15:9494189
n4:druhVysledku
n17:J
n4:duvernostUdaju
n10:S
n4:entitaPredkladatele
n11:predkladatel
n4:idSjednocenehoVysledku
164037
n4:idVysledku
RIV/68407700:21340/12:00201513
n4:jazykVysledku
n13:cze
n4:klicovaSlova
Ramsey theory; Party Problem; Happy End Problem; Van der Waerden Problem; Paul Erdos
n4:klicoveSlovo
n6:Ramsey%20theory n6:Happy%20End%20Problem n6:Paul%20Erdos n6:Van%20der%20Waerden%20Problem n6:Party%20Problem
n4:kodStatuVydavatele
CZ - Česká republika
n4:kontrolniKodProRIV
[13512759494A]
n4:nazevZdroje
Rozhledy matematicko-fyzikální
n4:obor
n19:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
6
n4:projekt
n16:GA201%2F09%2F0584
n4:rokUplatneniVysledku
n9:2012
n4:svazekPeriodika
87
n4:tvurceVysledku
Topfer, M. Hrušková, A. Šubert, E. Balková, Lubomíra Schusser, J. Matúš, V.
s:issn
0035-9343
s:numberOfPages
8
n8:organizacniJednotka
21340