Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů

Show simple item record
dc.contributor.advisorSawa, Zdeněkcs
dc.contributor.authorJurečka, Pavelcs
dc.contributor.refereeBöhm, Stanislavcs
dc.date.accepted2012-05-28cs
dc.date.accessioned2012-07-11T07:53:07Z
dc.date.available2012-07-11T07:53:07Z
dc.date.issued2011cs
dc.descriptionImport 03/08/2012cs
dc.description.abstractTato bakalářská práce se zabývá možností rozhodovat pravdivost formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů. V první částí je obecný popis Presburgerovy aritmetiky, eliminace kvantifikátorů a specifikace problému. V další části je popis vytvořeného počítačového programu, použitých principů a postupů, od načtení vstupní formule, přes její zpracování metodou eliminace kvantifikátorů až po vyhodnocení pravdivosti.cs
dc.description.abstractThe bachelor thesis deals with possibility to decide truth of formulas of Presburger arithmetic using quantifier elimination. In first chapter is general description of Presburger arithmetic, quantifier elimination and specification of problem. Next chapter describes the computer program, used principles and techniques, from reading input formula through its processing by quantifier elimination method to final evaluation of truth.en
dc.description.department460 - Katedra informatikycs
dc.description.resultdobřecs
dc.format.extent355071 bytescs
dc.format.mimetypeapplication/pdfcs
dc.identifier.otherOSD002cs
dc.identifier.senderS2724cs
dc.identifier.thesisJUR516_FEI_B2647_2612R025_2011
dc.identifier.urihttp://hdl.handle.net/10084/93246
dc.language.isocscs
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.rights.accessopenAccess
dc.subjectPresburgerova aritmetikacs
dc.subjecteliminace kvantifikátorůcs
dc.subjectCoopercs
dc.subjectlexikální analýzacs
dc.subjectsyntaktická analýzacs
dc.subjectOCamlcs
dc.subjectfunkcionální programovánícs
dc.subjectPresburger arithmeticen
dc.subjectquantifier eliminationen
dc.subjectCooperen
dc.subjectlexical analysisen
dc.subjectsyntactic analysisen
dc.subjectOCamlen
dc.subjectfunctional programmingen
dc.thesis.degree-branchInformatika a výpočetní technikacs
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikycs
dc.thesis.degree-levelBakalářský studijní programcs
dc.thesis.degree-nameBc.cs
dc.thesis.degree-programInformační a komunikační technologiecs
dc.titleRozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorůcs
dc.title.alternativeDeciding Truth of Formulas of Presburger Arithmetic by Elimination of Quantifiersen
dc.typeBakalářská prácecs

Files

Original bundle

Now showing 1 - 5 out of 5 results
Thumbnail Image
Name:
JUR516_FEI_B2647_2612R025_2011.pdf
Size:
346.75 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
JUR516_FEI_B2647_2612R025_2011_zadani.pdf
Size:
295.02 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
JUR516_FEI_B2647_2612R025_2011_priloha.zip
Size:
8.61 KB
Format:
Unknown data format
Download
Thumbnail Image
Name:
JUR516_FEI_B2647_2612R025_2011_posudek_vedouci_Sawa_Zdenek.pdf
Size:
54.89 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího – Sawa, Zdeněk
Download
Thumbnail Image
Name:
JUR516_FEI_B2647_2612R025_2011_posudek_oponent_Bohm_Stanislav.pdf
Size:
48.61 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta – Böhm, Stanislav
Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)