Full metadata record
DC pole | Hodnota | Jazyk |
---|---|---|
dc.contributor.advisor | Hora, Jaroslav | |
dc.contributor.advisor | Hora, Jaroslav | |
dc.contributor.author | Honzík, Lukáš | |
dc.date.accepted | 2013-03-14 | |
dc.date.accessioned | 2014-05-30T11:38:19Z | - |
dc.date.available | 2008-12-16 | cs |
dc.date.available | 2014-05-30T11:38:19Z | - |
dc.date.issued | 2013 | |
dc.date.submitted | 2013-01-24 | |
dc.identifier | 55392 | |
dc.identifier.uri | http://hdl.handle.net/11025/10753 | |
dc.description.abstract | 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 ř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 ř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. | cs |
dc.format | 124 s. | cs |
dc.format.mimetype | application/pdf | |
dc.language.iso | cs | cs |
dc.publisher | Západočeská univerzita v Plzni | cs |
dc.rights | Plný text práce je přístupný bez omezení. | cs |
dc.subject | eliminace kvantifikátorů | cs |
dc.subject | CAD | cs |
dc.subject | cylindrická algebraická dekompozice | cs |
dc.subject | Alfred Tarski | cs |
dc.subject | George E. Collins | cs |
dc.subject | počítačová algebra | cs |
dc.subject | Mathematica | cs |
dc.subject | trojúhelníková dekompozice | cs |
dc.subject | regulární řetězce | cs |
dc.title | Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití | cs |
dc.title.alternative | Computer methods of quantifier elimination over R and their application | en |
dc.type | disertační práce | cs |
dc.thesis.degree-name | Ph.D. | cs |
dc.thesis.degree-level | Doktorský | cs |
dc.thesis.degree-grantor | Západočeská univerzita v Plzni. Fakulta pedagogická | cs |
dc.description.department | Katedra výpočetní a didaktické techniky | cs |
dc.thesis.degree-program | Specializace v pedagogice | cs |
dc.description.result | Obhájeno | cs |
dc.rights.access | openAccess | en |
dc.description.abstract-translated | 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 (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. | en |
dc.subject.translated | quantifier elimination | en |
dc.subject.translated | CAD | en |
dc.subject.translated | cylindrical algebraic decomposition | en |
dc.subject.translated | Alfred Tarski | en |
dc.subject.translated | George E. Collins | en |
dc.subject.translated | computer algebra | en |
dc.subject.translated | Mathematica | en |
dc.subject.translated | triangular decomposition | en |
dc.subject.translated | regular chains | en |
Vyskytuje se v kolekcích: | Disertační práce / Dissertations (KVD) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
disertacni prace - Honzik.pdf | Plný text práce | 1,08 MB | Adobe PDF | Zobrazit/otevřít |
DISP - Honzik.pdf 1.pdf | Posudek vedoucího práce | 122,65 kB | Adobe PDF | Zobrazit/otevřít |
DISP - Honzik.pdf 2.pdf | Posudek oponenta práce | 163,61 kB | Adobe PDF | Zobrazit/otevřít |
Honzik - protokol.pdf | Průběh obhajoby práce | 64,9 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/10753
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.