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

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

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n3http://purl.org/net/nknouf/ns/bibtex#
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004241%21RIV%2F2003%2FMSM%2F120003%2FN/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A_____%2F02%3A00004241%21RIV%2F2003%2FMSM%2F120003%2FN
rdf:type
skos:Concept n18:Vysledek
dcterms:description
V předloženém článku je kladen důraz na objevování tvrzení. Objevování tvrzení je vedeno dvěma směry. Jeden směr vede k objevování tvrzení např. užitím prosté eliminace proměnných. Druhý přístup je komplikovanější. Je prezentována metoda, pomocí níž jsou k daným předpokladům nalézány dodatečné podmínky tak, aby dané tvrzení platilo. Metoda je též vhodná pro užití středních školách a v přípravě učitelů matematiky In the article discovery of theorems is stressed. The discovery is given in two levels. The first one leads to the discovery by means of e.g. elimination of variables. The second way is more complicated. The method by means of which additional assumptions are found so that a given formula becomes true is presented. The method is suitable for use at secondary schools and in the preparation of mathematics teachers
dcterms:title
Automatické dokazování a objevování vět pomocí počítače Automatic theorem proving and discovery by means of computer Automatické dokazování a objevování vět pomocí počítače
skos:prefLabel
Automatic theorem proving and discovery by means of computer Automatické dokazování a objevování vět pomocí počítače Automatické dokazování a objevování vět pomocí počítače
skos:notation
RIV/60076658:_____/02:00004241!RIV/2003/MSM/120003/N
n4:strany
235-240
n4:aktivita
n11:Z
n4:aktivity
Z(MSM 124100006)
n4:dodaniDat
n5:2003
n4:domaciTvurceVysledku
n7:6370950
n4:druhVysledku
n16:D
n4:duvernostUdaju
n9:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
639240
n4:idVysledku
RIV/60076658:_____/02:00004241
n4:jazykVysledku
n12:cze
n4:klicovaSlova
discovery of statements, elimination of variables
n4:klicoveSlovo
n15:elimination%20of%20variables n15:discovery%20of%20statements
n4:kontrolniKodProRIV
[7E3887CF9A83]
n4:mistoKonaniAkce
Prachatice
n4:mistoVydani
Praha
n4:nazevZdroje
8. setkání učitelů matematiky všech typů a stupňů škol
n4:obor
n13:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:pocetUcastnikuAkce
0
n4:pocetZahranicnichUcastnikuAkce
0
n4:rokUplatneniVysledku
n5:2002
n4:tvurceVysledku
Pech, Pavel
n4:typAkce
n17:CST
n4:zahajeniAkce
2002-01-01+01:00
n4:zamer
n14:MSM%20124100006
s:numberOfPages
6
n3:hasPublisher
JČMF Praha
n19:isbn
80-7040-596-1