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

Jiří RAŠKA

Bakalářská práce

Use of propositional calculus in solving word tasks

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 25. 4. 2016

Zveřejnit od: 25. 4. 2016

Obhajoba závěrečné práce

• Obhajoba proběhla 16. 5. 2016
• Vedoucí: Mgr. Věra Ferdiánová, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Matematika - Informatika (dvouoborové)