Metody řešení slovních úloh pomocí logiky
Methods of solving word problems using logic
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/61674Identifikátory
SIS: 133893
Kolekce
- Kvalifikační práce [18847]
Autor
Vedoucí práce
Oponent práce
Jančařík, Antonín
Fakulta / součást
Pedagogická fakulta
Obor
Matematika se zaměřením na vzdělávání - Pedagogika
Katedra / ústav / klinika
Katedra matematiky a didaktiky matematiky
Datum obhajoby
19. 5. 2014
Nakladatel
Univerzita Karlova, Pedagogická fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
řešení slovních úloh, matematická logikaKlíčová slova (anglicky)
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