Full metadata record
DC poleHodnotaJazyk
dc.contributor.advisorHora, Jaroslav
dc.contributor.advisorHora, Jaroslav
dc.contributor.authorHonzík, Lukáš
dc.date.accepted2013-03-14
dc.date.accessioned2014-05-30T11:38:19Z-
dc.date.available2008-12-16cs
dc.date.available2014-05-30T11:38:19Z-
dc.date.issued2013
dc.date.submitted2013-01-24
dc.identifier55392
dc.identifier.urihttp://hdl.handle.net/11025/10753
dc.description.abstractEliminace 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.format124 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.subjecteliminace kvantifikátorůcs
dc.subjectCADcs
dc.subjectcylindrická algebraická dekompozicecs
dc.subjectAlfred Tarskics
dc.subjectGeorge E. Collinscs
dc.subjectpočítačová algebracs
dc.subjectMathematicacs
dc.subjecttrojúhelníková dekompozicecs
dc.subjectregulární řetězcecs
dc.titlePočítačové metody eliminace kvantifikátorů v R a možnosti jejich využitícs
dc.title.alternativeComputer methods of quantifier elimination over R and their applicationen
dc.typedisertační prácecs
dc.thesis.degree-namePh.D.cs
dc.thesis.degree-levelDoktorskýcs
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta pedagogickács
dc.description.departmentKatedra výpočetní a didaktické technikycs
dc.thesis.degree-programSpecializace v pedagogicecs
dc.description.resultObhájenocs
dc.rights.accessopenAccessen
dc.description.abstract-translatedQuantifier 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.translatedquantifier eliminationen
dc.subject.translatedCADen
dc.subject.translatedcylindrical algebraic decompositionen
dc.subject.translatedAlfred Tarskien
dc.subject.translatedGeorge E. Collinsen
dc.subject.translatedcomputer algebraen
dc.subject.translatedMathematicaen
dc.subject.translatedtriangular decompositionen
dc.subject.translatedregular chainsen
Vyskytuje se v kolekcích:Disertační práce / Dissertations (KVD)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
disertacni prace - Honzik.pdfPlný text práce1,08 MBAdobe PDFZobrazit/otevřít
DISP - Honzik.pdf 1.pdfPosudek vedoucího práce122,65 kBAdobe PDFZobrazit/otevřít
DISP - Honzik.pdf 2.pdfPosudek oponenta práce163,61 kBAdobe PDFZobrazit/otevřít
Honzik - protokol.pdfPrůběh obhajoby práce64,9 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


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.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikační činnost / Publications
  3. Fakulta pedagogická / Faculty of Education
  4. Katedra výpočetní a didaktické techniky / Department of Computing and Didactic Technology
  5. Disertační práce / Dissertations (KVD)