|
|
Resolution Method Visualisation
Smetka, Tomáš ; Orság, Filip (referee) ; Rozman, Jaroslav (advisor)
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.
|
|
|
Sudoku Generator and Solver
Polínková, Eliška ; Čermák, Martin (referee) ; Goldefus, Filip (advisor)
This thesis discusses ways of generating and solving Sudoku games. It describes possible approaches to problem solving, namely: the use of logical methods and the use of state space search methods. Practical part of this work involves the design and implementation of application enabling the generating, solving, verification of attributes, creating your own sudoku problem and export games to XML file.
|
|
|
Sudoku Generator and Solver
Polínková, Eliška ; Čermák, Martin (referee) ; Goldefus, Filip (advisor)
This thesis discusses ways of generating and solving Sudoku games. It describes possible approaches to problem solving, namely: the use of logical methods and the use of state space search methods. Practical part of this work involves the design and implementation of application enabling the generating, solving, verification of attributes, creating your own sudoku problem and export games to XML file.
|
|
|
Resolution Method Visualisation
Smetka, Tomáš ; Orság, Filip (referee) ; Rozman, Jaroslav (advisor)
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.
|
guest ::
