|
Metody řešení slovních úloh pomocí logiky
Bartlová, Helena ; Novotná, Jarmila (vedoucí práce) ; Jančařík, Antonín (oponent)
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
|
|
Rozhodnutelnost teorie komutativních grup
Čech, František ; Šaroch, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
V práci bude proveden důkaz rozhodnutelnosti teorie abelovských grup. Tento výsledek už byl dokázán v roce 1955 autorkou W. Szmielew. Důkaz zde předve- dený se však ubírá jinou cestou. Výsledek bude dokázán za pomoci výsledků z teorie modulů a teorie modelů uvedených v článku M. Zieglera Model theory of modules. Závěrečná část důkazu sleduje závěr důkazu uvedený v článku The elementary theory of Abelian groups P. C. Eklofa a E. R. Fishera. 1
|
|
Rozhodnutelnost teorie komutativních grup
Čech, František ; Šaroch, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
V práci bude proveden důkaz rozhodnutelnosti teorie abelovských grup. Tento výsledek už byl dokázán v roce 1955 autorkou W. Szmielew. Důkaz zde předve- dený se však ubírá jinou cestou. Výsledek bude dokázán za pomoci výsledků z teorie modulů a teorie modelů uvedených v článku M. Zieglera Model theory of modules. Závěrečná část důkazu sleduje závěr důkazu uvedený v článku The elementary theory of Abelian groups P. C. Eklofa a E. R. Fishera. 1
|
|
Metody řešení slovních úloh pomocí logiky
Bartlová, Helena ; Novotná, Jarmila (vedoucí práce) ; Jančařík, Antonín (oponent)
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
|