|
|
Methods of solving word problems using logic
Bartlová, Helena ; Novotná, Jarmila (advisor) ; Jančařík, Antonín (referee)
Title: Methods of solving word problems using logic Author: Helena Bartlová Department: Department of Mathematics and Mathematical Education Supervisor: Prof. RNDr. Jarmila Novotná, CSc. The work deals with methods of solving word problems of propositional logic. The first part describes word problems in general, there are given his- tory of logic and base of propositional logic, which is farther used to describe methods and to solve problems. The second part describes the various methods that can be used to solve word problems of logic. The aplication of these methods is shown in the sol- ved word problems. Keywords: word problem, logic, propositional logic
|
|
|
Decidability of the theory of commutative groups
Čech, František ; Šaroch, Jan (advisor) ; Žemlička, Jan (referee)
In this thesis will be demonstrated proof of decidability of theory of commu- tative groups. This result was already shown in year 1955 by author W.Szmielew. However proof shown here takes different path. Result will by shown with use of results from theory of modules and theory of modeles prooved in article by M. Ziegler Model theory of modules. Final part of proof follows proof shown in article The elementary theory of Abelian groups by P. C. Eklofa and E. R. Fishera. 1
|
|
|
Decidability of the theory of commutative groups
Čech, František ; Šaroch, Jan (advisor) ; Žemlička, Jan (referee)
In this thesis will be demonstrated proof of decidability of theory of commu- tative groups. This result was already shown in year 1955 by author W.Szmielew. However proof shown here takes different path. Result will by shown with use of results from theory of modules and theory of modeles prooved in article by M. Ziegler Model theory of modules. Final part of proof follows proof shown in article The elementary theory of Abelian groups by P. C. Eklofa and E. R. Fishera. 1
|
|
|
Methods of solving word problems using logic
Bartlová, Helena ; Novotná, Jarmila (advisor) ; Jančařík, Antonín (referee)
Title: Methods of solving word problems using logic Author: Helena Bartlová Department: Department of Mathematics and Mathematical Education Supervisor: Prof. RNDr. Jarmila Novotná, CSc. The work deals with methods of solving word problems of propositional logic. The first part describes word problems in general, there are given his- tory of logic and base of propositional logic, which is farther used to describe methods and to solve problems. The second part describes the various methods that can be used to solve word problems of logic. The aplication of these methods is shown in the sol- ved word problems. Keywords: word problem, logic, propositional logic
|
|
| |
guest ::
