| dc.contributor.advisor | Sawa, Zdeněk | cs |
| dc.contributor.author | Jurečka, Pavel | cs |
| dc.date.accessioned | 2012-07-11T07:53:07Z | |
| dc.date.available | 2012-07-11T07:53:07Z | |
| dc.date.issued | 2011 | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/93246 | |
| dc.description | Import 03/08/2012 | cs |
| dc.description.abstract | Tato 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.abstract | The 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.format.extent | 355071 bytes | cs |
| dc.format.mimetype | application/pdf | cs |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | Presburgerova aritmetika | cs |
| dc.subject | eliminace kvantifikátorů | cs |
| dc.subject | Cooper | cs |
| dc.subject | lexikální analýza | cs |
| dc.subject | syntaktická analýza | cs |
| dc.subject | OCaml | cs |
| dc.subject | funkcionální programování | cs |
| dc.subject | Presburger arithmetic | en |
| dc.subject | quantifier elimination | en |
| dc.subject | Cooper | en |
| dc.subject | lexical analysis | en |
| dc.subject | syntactic analysis | en |
| dc.subject | OCaml | en |
| dc.subject | functional programming | en |
| dc.title | Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů | cs |
| dc.title.alternative | Deciding Truth of Formulas of Presburger Arithmetic by Elimination of Quantifiers | en |
| dc.type | Bakalářská práce | cs |
| dc.contributor.referee | Böhm, Stanislav | cs |
| dc.date.accepted | 2012-05-28 | cs |
| dc.thesis.degree-name | Bc. | cs |
| dc.thesis.degree-level | Bakalářský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | dobře | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.thesis | JUR516_FEI_B2647_2612R025_2011 | |
| dc.rights.access | openAccess | |