Geodesic
Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh
Učitel matematiky, Tome 23 (2015) no. 2, pp. 91-104

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

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 vcelku složitý postup, jsou velmi užitečné programy počítačové algebry (například program Mathematica od firmy Wolfram Research). Mnoho matematických úloh (jako třeba rovnice a nerovnice) 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 ř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. 
@article{UM_2015__23_2_a2,
     author = {Honz{\'\i}k, Luk\'a\v{s} and Hora, Jaroslav and Ka\v{s}parov\'a, Martina},
     title = {Vyu\v{z}it{\'\i} eliminace kvantifik\'ator\r{u} v \v{r}e\v{s}en{\'\i} jednoduch\'ych optimaliza\v{c}n{\'\i}ch \'uloh},
     journal = {U\v{c}itel matematiky},
     pages = {91--104},
     publisher = {mathdoc},
     volume = {23},
     number = {2},
     year = {2015},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/}
}
TY  - JOUR
AU  - Honzík, Lukáš
AU  - Hora, Jaroslav
AU  - Kašparová, Martina
TI  - Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh
JO  - Učitel matematiky
PY  - 2015
SP  - 91
EP  - 104
VL  - 23
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/
LA  - cz
ID  - UM_2015__23_2_a2
ER  - 
%0 Journal Article
%A Honzík, Lukáš
%A Hora, Jaroslav
%A Kašparová, Martina
%T Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh
%J Učitel matematiky
%D 2015
%P 91-104
%V 23
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/
%G cz
%F UM_2015__23_2_a2
Honzík, Lukáš; Hora, Jaroslav; Kašparová, Martina. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky, Tome 23 (2015) no. 2, pp. 91-104. http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/