On a method of solving some classes of mathematical tasks using programme QEPCAD
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23420%2F13%3A43918637" target="_blank" >RIV/49777513:23420/13:43918637 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
O jedné metodě řešení některých tříd matematických úloh pomocí programu QEPCAD
Original language description
Eliminace kvantifikátorů v oboru reálných čísel je jednou z mladých oblastí na pomezí matematiky, logiky a výpočetní techniky. Pomocí metody nazývané cylindrická algebraická dekompozice dovoluje zjednodušit matematické kvantifikované formule do jednoduššího tvaru neobsahujícího kvantifikátory. Jelikož se jedná o časově poměrně náročný postup, jsou velmi užitečné programy počítačové algebry nebo přímo specializované programy. Mnoho matematických úloh (jako třeba řešení rovnic a nerovnic) může být převedeno právě na matematické formule obsahující kvantifikátory, u nichž pak eliminace dovoluje zjistit řešení nebo určit, zda jsou vůbec řešitelné. Z toho důvodu může být tato metoda přínosem nejen pro matematiky samotné, ale též pro učitele matematiky a talentované žáky.
Czech name
O jedné metodě řešení některých tříd matematických úloh pomocí programu QEPCAD
Czech description
Eliminace kvantifikátorů v oboru reálných čísel je jednou z mladých oblastí na pomezí matematiky, logiky a výpočetní techniky. Pomocí metody nazývané cylindrická algebraická dekompozice dovoluje zjednodušit matematické kvantifikované formule do jednoduššího tvaru neobsahujícího kvantifikátory. Jelikož se jedná o časově poměrně náročný postup, jsou velmi užitečné programy počítačové algebry nebo přímo specializované programy. Mnoho matematických úloh (jako třeba řešení rovnic a nerovnic) může být převedeno právě na matematické formule obsahující kvantifikátory, u nichž pak eliminace dovoluje zjistit řešení nebo určit, zda jsou vůbec řešitelné. Z toho důvodu může být tato metoda přínosem nejen pro matematiky samotné, ale též pro učitele matematiky a talentované žáky.
Classification
Type
D - Article in proceedings
CEP classification
AM - Pedagogy and education
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Hlavní trendy v pohledu na roli lektora ve vzdělávání : 13. setkání členů partnerské sítě TTnet ČR
ISBN
978-80-87652-93-0
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
10-13
Publisher name
Národní ústav pro vzdělávání
Place of publication
Praha
Event location
Kostelec nad Černými Lesy
Event date
Oct 23, 2012
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—