"J\u010CMF Praha" . . "0"^^ . "235-240" . "1"^^ . . "0"^^ . . "V p\u0159edlo\u017Een\u00E9m \u010Dl\u00E1nku je kladen d\u016Fraz na objevov\u00E1n\u00ED tvrzen\u00ED. Objevov\u00E1n\u00ED tvrzen\u00ED je vedeno dv\u011Bma sm\u011Bry. Jeden sm\u011Br vede k objevov\u00E1n\u00ED tvrzen\u00ED nap\u0159. u\u017Eit\u00EDm prost\u00E9 eliminace prom\u011Bnn\u00FDch. Druh\u00FD p\u0159\u00EDstup je komplikovan\u011Bj\u0161\u00ED. Je prezentov\u00E1na metoda, pomoc\u00ED n\u00ED\u017E jsou k dan\u00FDm p\u0159edpoklad\u016Fm nal\u00E9z\u00E1ny dodate\u010Dn\u00E9 podm\u00EDnky tak, aby dan\u00E9 tvrzen\u00ED platilo. Metoda je t\u00E9\u017E vhodn\u00E1 pro u\u017Eit\u00ED st\u0159edn\u00EDch \u0161kol\u00E1ch a v p\u0159\u00EDprav\u011B u\u010Ditel\u016F matematiky" . "Automatick\u00E9 dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De" . . . . "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 . "Z(MSM 124100006)" . "1"^^ . "Prachatice" . "Automatic theorem proving and discovery by means of computer"@en . . "discovery of statements, elimination of variables"@en . "639240" . . . . "RIV/60076658:_____/02:00004241!RIV/2003/MSM/120003/N" . . "2002-01-01+01:00"^^ . "RIV/60076658:_____/02:00004241" . "Automatick\u00E9 dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De" . "Pech, Pavel" . "[7E3887CF9A83]" . "8. setk\u00E1n\u00ED u\u010Ditel\u016F matematiky v\u0161ech typ\u016F a stup\u0148\u016F \u0161kol" . "Automatick\u00E9 dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De"@cs . . . "Automatic theorem proving and discovery by means of computer"@en . "Automatick\u00E9 dokazov\u00E1n\u00ED a objevov\u00E1n\u00ED v\u011Bt pomoc\u00ED po\u010D\u00EDta\u010De"@cs . . . "80-7040-596-1" . "Praha" . "6"^^ .