O jedné metodě řešení některých tříd matematických úloh pomocí programu QEPCAD

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

O jedné metodě řešení některých tříd matematických úloh pomocí programu QEPCAD

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

On a method of solving some classes of mathematical tasks using programme QEPCAD

Popis výsledku anglicky

Quantifier elimination over real fields is a discipline connected with mathematics, logic and computer science. Using so called cylindrical algebraic decomposition it allows to simplify mathematical formulas with quantifiers into quantifier-free formulas. Since this is quite complex and time-consuming problem programs of computer algebra or specialized programs are very helpful. Many mathematical problems (for example equations and inequations) can be transformed into quantified formulas and the elimination is a way to solve them or find out if they are solvable. Therefore this method may be useful not only for mathematicians but for math teachers and talented pupils too.

Druh

D - Stať ve sborníku

CEP obor

AM - Pedagogika a školství

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2013

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

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

—

Počet stran výsledku

4

Strana od-do

10-13

Název nakladatele

Národní ústav pro vzdělávání

Místo vydání

Praha

Místo konání akce

Kostelec nad Černými Lesy

Datum konání akce

23. 10. 2012

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

CST - Celostátní akce

Kód UT WoS článku

—