Ve své bakalářské práci se zabývám problematikou výrokové a predikátové logiky. První část práce by měla čtenáře seznámit s významem této části matematiky a s jejími základními pojmy. Druhá část práce se věnuje architektuře výukového pro-gramu, který obsahuje kromě samotné teorie také test a který bude sloužit studentům pro domácí opakování znalostí výrokové a predikátové logiky.
Anotace v angličtině
In my baccalaureate work deal with problems propositional and predicate logic. First volume of work would had reader acquaint with meaning those parts mathematics and with her basic notions. Alternative volume of work paies architecture tutorial, that contains except himself theory also test and will be of service students for native repetition knowledge dictum and predicate logic.
Ve své bakalářské práci se zabývám problematikou výrokové a predikátové logiky. První část práce by měla čtenáře seznámit s významem této části matematiky a s jejími základními pojmy. Druhá část práce se věnuje architektuře výukového pro-gramu, který obsahuje kromě samotné teorie také test a který bude sloužit studentům pro domácí opakování znalostí výrokové a predikátové logiky.
Anotace v angličtině
In my baccalaureate work deal with problems propositional and predicate logic. First volume of work would had reader acquaint with meaning those parts mathematics and with her basic notions. Alternative volume of work paies architecture tutorial, that contains except himself theory also test and will be of service students for native repetition knowledge dictum and predicate logic.
§ V úvodní části práce je nutné provést seznámení s významem výrokové a predikátové logiky a její nezastupitelnost v informatice
§ Hlavní úkol spočívá ve vytvoření výukového programu. Ten bude sloužit studentů k domácímu opakování znalostí této části matematiky.
§ Vytvořený výukový program bude obsahovat matematický výklad tématu a následný test. Dále popis instalace a ovládání programu.
Zásady pro vypracování
§ V úvodní části práce je nutné provést seznámení s významem výrokové a predikátové logiky a její nezastupitelnost v informatice
§ Hlavní úkol spočívá ve vytvoření výukového programu. Ten bude sloužit studentů k domácímu opakování znalostí této části matematiky.
§ Vytvořený výukový program bude obsahovat matematický výklad tématu a následný test. Dále popis instalace a ovládání programu.
Seznam doporučené literatury
1. LUKASOVÁ, Alena. Formální logika v umělé inteligenci. [s.l.] : [s.n.], 2003. 269 s. ISBN 80-251-0023-5.
2. ŠVEJDAR , Vítězslav. Logika neúplnost, složitost a nutnost. [s.l.] : Academia, 2002. 464 s
Seznam doporučené literatury
1. LUKASOVÁ, Alena. Formální logika v umělé inteligenci. [s.l.] : [s.n.], 2003. 269 s. ISBN 80-251-0023-5.
2. ŠVEJDAR , Vítězslav. Logika neúplnost, složitost a nutnost. [s.l.] : Academia, 2002. 464 s
Přílohy volně vložené
1 CD ROM
Přílohy vázané v práci
ilustrace, tabulky
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Při obhajobě bakalářské práce zkoušený zodpověděl otázky vedoucí práce a členů komise. Bakalářská práce byla komisí ohodnocena klasifikací výborně. Rovněž odpovědi na otázky státní závěrečné zkoušky odpovídají celkovému hodnocení výborně.
Dle vedoucí práce je práce využitelná jako podpůrný materiál při výuce předmětu Základy algoritmizace.