About: Automatické dokazování a objevování vět pomocí počítače     Goto   Sponge   Distinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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 (en)
  • 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
Title
  • Automatické dokazování a objevování vět pomocí počítače
  • Automatické dokazování a objevování vět pomocí počítače (cs)
  • Automatic theorem proving and discovery by means of computer (en)
skos:prefLabel
  • Automatické dokazování a objevování vět pomocí počítače
  • Automatické dokazování a objevování vět pomocí počítače (cs)
  • Automatic theorem proving and discovery by means of computer (en)
skos:notation
  • RIV/60076658:_____/02:00004241!RIV/2003/MSM/120003/N
http://linked.open.../vavai/riv/strany
  • 235-240
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • Z(MSM 124100006)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 639240
http://linked.open...ai/riv/idVysledku
  • RIV/60076658:_____/02:00004241
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • discovery of statements, elimination of variables (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [7E3887CF9A83]
http://linked.open...v/mistoKonaniAkce
  • Prachatice
http://linked.open...i/riv/mistoVydani
  • Praha
http://linked.open...i/riv/nazevZdroje
  • 8. setkání učitelů matematiky všech typů a stupňů škol
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Pech, Pavel
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • JČMF Praha
https://schema.org/isbn
  • 80-7040-596-1
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software