Automatické dokazování a objevování vět pomocí počítače

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A_____%2F02%3A00004241" target="_blank" >RIV/60076658:_____/02:00004241 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Automatické dokazování a objevování vět pomocí počítače

Popis výsledku v původním jazyce

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íž jsouk 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

Název v anglickém jazyce

Automatic theorem proving and discovery by means of computer

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2002

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

8. setkání učitelů matematiky všech typů a stupňů škol

ISBN

80-7040-596-1

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

235-240

Název nakladatele

JČMF Praha

Místo vydání

Praha

Místo konání akce

Prachatice

Datum konání akce

1. 1. 2002

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—