Vizualizace rezoluční metody
| but.committee | doc. Ing. František Zbořil, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Michal Bidlo, Ph.D. (člen) doc. Ing. Peter Chudý, Ph.D., MBA (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm ... | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Rozman, Jaroslav | cs |
| dc.contributor.author | Smetka, Tomáš | cs |
| dc.contributor.referee | Orság, Filip | cs |
| dc.date.accessioned | 2019-06-14T10:52:03Z | |
| dc.date.available | 2019-06-14T10:52:03Z | |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato bakalářská práce se zabývá problematikou automatického dokazování ve výrokové a predikátové logice. V teoretické části je popsána výroková a predikátová logika v návaznosti na systém jejich automatického dokazování pomocí rezoluční metody. V práci je dále popsán návrh a implementace programu, který se skládá z terminálu a serverové části. Program hledá důkaz nesplnitelnosti zadané formule a vizualizuje jednotlivé kroky vedoucí k nalezení řešení. V závěru je vyhodnocena implementace řešení a práce jako celek a také jsou popsány další možnosti rozšíření. | cs |
| dc.description.abstract | This bachelor’s thesis deals with problems in the area of automated reasoning in propositional and predicate logic. In the theoretical part the propositional and predicate logic is described in connection with the system of its automatic proving with help of resolution method. Further there is described draft and implementation of a program which consists of a terminal and server part. The program looks for a proof if the given formula is impossible to be solved and visualizes every single step which leads to finding of the solution. In conclusion the implementation of solution and the thesis as a whole is evaluated and there are also described additional possibilities of extension. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | SMETKA, T. Vizualizace rezoluční metody [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 78522 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54795 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Výroková logika | cs |
| dc.subject | predikátová logika | cs |
| dc.subject | automatické dokazování | cs |
| dc.subject | rezoluční metoda | cs |
| dc.subject | Robinsonův rezoluční princip | cs |
| dc.subject | lexikální analýza | cs |
| dc.subject | syntaktická analýza | cs |
| dc.subject | prohledávání stavového prostoru | cs |
| dc.subject | Propositional logic | en |
| dc.subject | predicate logic | en |
| dc.subject | automated reasoning | en |
| dc.subject | resolution method | en |
| dc.subject | Robinson's resolution principle | en |
| dc.subject | lexical analysis | en |
| dc.subject | syntactic analysis | en |
| dc.subject | state space searching | en |
| dc.title | Vizualizace rezoluční metody | cs |
| dc.title.alternative | Resolution Method Visualisation | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-12 | cs |
| dcterms.modified | 2020-05-09-23:41:57 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 78522 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.12 22:00:06 | en |
| sync.item.modts | 2021.11.12 20:55:36 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |