Показать сокращенную информацию
Izteikumu loģikas pierādījumu automatizēta konstruēšana
dc.contributor.advisor | Podnieks, Kārlis | en_US |
dc.contributor.author | Gorbunovs, Anatolijs | en_US |
dc.contributor.other | Latvijas Universitāte. Datorikas fakultāte | en_US |
dc.date.accessioned | 2015-03-24T08:22:58Z | |
dc.date.available | 2015-03-24T08:22:58Z | |
dc.date.issued | 2014 | en_US |
dc.identifier.other | 34460 | en_US |
dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/23098 | |
dc.description.abstract | Darbā tiek aplūkota izteikumu loģikas pierādījumu konstruēšana ar datora palīdzību. Pētījuma mērķis bija uzbūvēt datorprogrammu, kas pēc dotiem izvešanas likumiem un dotās teorēmas, izdod formulu virkni, kas pierāda teorēmu. Par pamata izvešanas likumiem tika paņemti Modus Ponens un substitūcija. Automatizēta teorēmu pierādīšana, izteikumu loģika, pārlases optimizācijas. | en_US |
dc.description.abstract | This work focuses on computer-assisted proof construction in propositional calculus. The goal of a research was to develop an application software, when given an allowed inference rules and a theorem, will output a set of formulas that prove the theorem. Detachment and Substitution were chosen as a base rules of inference. Automated theorem proving, propositional logic, search optimizations. | en_US |
dc.language.iso | N/A | en_US |
dc.publisher | Latvijas Universitāte | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | Datorzinātne | en_US |
dc.title | Izteikumu loģikas pierādījumu automatizēta konstruēšana | en_US |
dc.title.alternative | Automated Proof Construction in Propositional Logic | en_US |
dc.type | info:eu-repo/semantics/bachelorThesis | en_US |