Jiří RAŠKA
Bachelor's thesis
Využití výrokové logiky při řešení slovních úloh
Use of propositional calculus in solving word tasks
Abstract:
Cílem této práce je využít metody výrokové logiky při řešení slovních úloh. Práce je rozdělena na dvě části. V první, teoretické části, je čtenář uveden do problematiky výrokové logiky a metod řešení slovních úloh. Druhá, praktická část, je věnována řešení nových úloh pomocí těchto metod. Pro názornost je v příloze vytvořený materiál pro interaktivní tabuli.Abstract:
The goal of this thesis is to use methods of propositional calculus in solving word tasks. The paper is divided into two parts. In the first, theoretical part, we introduce the reader to the theme of propositional calculus and to the methods of solving the word tasks. The second, practical part, is dedicated to solving new tasks by using these methods. There is also created material for the interactive …more
Language used: Czech
Date on which the thesis was submitted / produced: 27. 6. 2016
Thesis defence
- Supervisor: Mgr. Věra Ferdiánová, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
RAŠKA, Jiří. Využití výrokové logiky při řešení slovních úloh. Ostrava, 2016. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / field:
Mathematics / Ma-In 2ob.
Theses on a related topic
-
Nástroj pro dokazování platnosti úsudku ve výrokové logice
Daniel Dobeš -
Vyhodnocení formulí výrokové logiky
Lucie ŠURÁŇOVÁ -
Využití výrokové logiky při řešení slovních úloh
Jiří RAŠKA -
Využití výrokové logiky při řešení slovních úloh
Jiří RAŠKA -
Vyhodnocení formulí výrokové logiky
Lucie ŠURÁŇOVÁ