Metody řešení slovních úloh pomocí logiky
Methods of solving word problems using logic
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/61674Identifiers
Study Information System: 133893
Collections
- Kvalifikační práce [18094]
Author
Advisor
Referee
Jančařík, Antonín
Faculty / Institute
Faculty of Education
Discipline
Mathematics Oriented at Education - Pedagogy
Department
Information is unavailable
Date of defense
19. 5. 2014
Publisher
Univerzita Karlova, Pedagogická fakultaLanguage
Czech
Grade
Excellent
Keywords (Czech)
řešení slovních úloh, matematická logikaKeywords (English)
word problem solving, mathematical logicNá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á logika
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