Název: Metody řešení slovních úloh pomocí logiky
Překlad názvu: Methods of solving word problems using logic
Autoři: Bartlová, Helena ; Novotná, Jarmila (vedoucí práce) ; Jančařík, Antonín (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2014
Jazyk: cze
Abstrakt: [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á 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
Klíčová slova: matematická logika; řešení slovních úloh; mathematical logic; word problem solving

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/61674

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-330835


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce