Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití

Show simple item record
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.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.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.description.departmentKatedra výpočetní a didaktické technikycs
dc.description.resultObhájenocs
dc.format124 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier55392
dc.identifier.urihttp://hdl.handle.net/11025/10753
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.rights.accessopenAccessen
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.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
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta pedagogickács
dc.thesis.degree-levelDoktorskýcs
dc.thesis.degree-namePh.D.cs
dc.thesis.degree-programSpecializace v pedagogicecs
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
local.relation.IShttps://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=55392

Files

Original bundle
Showing 1 - 4 out of 4 results
No Thumbnail Available
Name:
disertacni prace - Honzik.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format
Description:
Plný text práce
Download
No Thumbnail Available
Name:
DISP - Honzik.pdf 1.pdf
Size:
122.65 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího práce
Download
No Thumbnail Available
Name:
DISP - Honzik.pdf 2.pdf
Size:
163.61 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta práce
Download
No Thumbnail Available
Name:
Honzik - protokol.pdf
Size:
64.9 KB
Format:
Adobe Portable Document Format
Description:
Průběh obhajoby práce
Download

Collections

Dissertations (KVD)