Využití výrokové logiky při řešení slovních úloh

Jiří RAŠKA

Bachelor's thesis

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 whiteboard in the attachment.

Keywords

slovní úlohy, logika, výroková logika, tabulková metoda, Quineův algoritmus, Vennovy diagramy, interaktivní tabule

Language used: Czech

Date on which the thesis was submitted / produced: 27. 6. 2016

Thesis defence

• Supervisor: Mgr. Věra Ferdiánová, Ph.D.

University of Ostrava

Faculty of Science

Bachelor programme / field:
Mathematics / Ma-In 2ob.