Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití – Mgr. Lukáš HONZÍK
Mgr. Lukáš HONZÍK
Disertační práce
Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
Computer methods of quantifier elimination over R and their application
Anotace:
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 …víceAbstract:
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 problem programs of computer algebra (such as Mathematica by Wolfram Research) are very helpful. Many mathematical problems …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 24. 1. 2013
Zveřejnit od: 31. 12. 2999
Obhajoba závěrečné práce
- Vedoucí: Doc. RNDr. Jaroslav Hora, CSc.
Citační záznam
Jak správně citovat práci
HONZÍK, Lukáš. Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití. Plzeň, 2013. disertační práce (Ph.D.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta pedagogická
Plný text práce
Právo: Autor si nepřeje zpřístupnění práce veřejnosti
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta pedagogická
ZÁPADOČESKÁ UNIVERZITA V PLZNI
Fakulta pedagogickáDoktorský studijní program / obor:
Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání