Original title:
Metody řešení slovních úloh pomocí logiky
Translated title:
Methods of solving word problems using logic
Authors:
Bartlová, Helena ; Novotná, Jarmila (advisor) ; Jančařík, Antonín (referee) Document type: Bachelor's theses
Year:
2014
Language:
cze Abstract:
[cze][eng] Název práce: Metody řešení slovních úloh pomocí logiky Autor: Helena Bartlová Katedra: Katedra matematiky a didaktiky matematiky Vedoucí práce: Prof. RNDr. Jarmila Novotná, CSc. Práce se zabývá metodami řešení slovních úloh z výrokové logiky. V první části práce jsou popsány slovní úlohy obecně, jsou zde uvedeny stručně dějiny logiky a základy výrokové logiky, které jsou dále používány při popisu metod a řešení úloh. V druhé části práce jsou popsány různé metody, pomocí kterých lze slovní úlohy z logiky řešit. Použití těchto metod je ukázáno na řešených slovních úlohách. Klíčová slova: slovní úloha, logika, výroková logikaTitle: 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
Keywords:
mathematical logic; word problem solving; matematická logika; řešení slovních úloh
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/61674