Přejít k obsahu


O počítačových důkazech matematických vět

Citace: [] HORA, J. O počítačových důkazech matematických vět. In Sborník ze XIV. semináře o filosofických otázkách matematiky a fyziky. Velké Meziříčí: Komise pro vzdělávání učitelů matematiky a fyziky JČMF, 2010. s. 67-73. ISBN: 80-903833-5-1
Druh: STAŤ VE SBORNÍKU
Jazyk publikace: cze
Rok vydání: 2010
Místo konání: Velké Meziříčí
Název zdroje: Komise pro vzdělávání učitelů matematiky a fyziky JČMF
Autoři: Doc. RNDr. Jaroslav Hora CSc.
Abstrakt CZ: V současnosti mohou počítače provádět nejen běžné výpočty se symboly, ale dokonce i provádět důkazy jistých matematických vět.
Klíčová slova

Zpět

Patička