|
|
Britská logika v devatenáctém století
Joachim, Jiří ; Holeček, Tomáš (vedoucí práce) ; Šebela, Karel (oponent)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Webová aplikace pro výuku matematické logiky na střední škole
Moravec, Luboš
Webová aplikace pro výuku matematické logiky na střední škole Luboš Moravec Abstrakt: Hlavní částí práce jsou webové stránky určené především pro studenty středních škol , které slouží k výuce matematické logiky a jsou rozděleny na dvě části - výklad a testy. Výklad členěný do sedmi kapitol nejdříve vysvětluje pojem výroku a jeho negace, dále se zabývá základními logickými spojkami (konjunkce, disjunkce, implikace, ekvivalence), vyhodnocováním pravdivosti a negováním složených výroků, využitím kvantifikátorů a negací výroků s nimi, množinovými operacemi, Vennovými diagramy a na závěr jsou probrány důkazové techniky. Výklad je doplněn sérií pěti testů sloužících k ověření osvojených znalostí. Otázky v testech jsou náhodně vybírány z několika variant, což umožňuje testy opakovat s různými otázkami. Vlastní text práce obsahuje uživatelskou a programátorskou dokumentaci a tištěnou podobu výkladových kapitol.
|
|
| |
|
|
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
|
|
|
Frege a Husserl o objektivitě
Jankovská, Lenka ; Peregrin, Jaroslav (vedoucí práce) ; Beran, Ondřej (oponent)
Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. Zpočátku se oba vydali stejným směrem a ostře odmítali psycho- logismus. Zavedli podobné rozlišení smyslu a významu. Význam věty je pro Frega pravdivostní hodnota, pro Husserla stav věcí. Smysl je způsob směřování k objektu, intencionalita. Ve větě pro Frega myšlenka a pro Husserla noema. Oba kladli důraz na objektivitu čísla, avšak každý se postupně vydal jiným směrem. Frege ztotožnil číslo s extenzí pojmu, což však později dovedlo jeho systém ke sporu. Husserl získával číslo pomocí abstrakce, čímž se vystavil Fregově přísné kritice. Klíčová slova Frege, Husserl, objektivita, logika
|
|
|
Prostředí Rodokmen v matematice na 1. st. ZŠ
Bartošová, Zuzana ; Jirotková, Darina (vedoucí práce) ; Hejný, Milan (oponent)
Prostředí Rodokmen je jedním z mnoha matematických prostředí uvedených v učebnicích nakladatelství FRAUS, jež vychází z koncepce RVP pro ZV. Toto prostředí je nástrojem pro budování matematických schémat v oblasti pojmů a vztahů mezi nimi a pro rozvoj logiky. V teoretické části diplomové práci začleňuji prostředí Rodokmen do koncepce RVP pro ZV, uvádím základní matematickou a genealogickou terminologii, vymezuji relace v množinovém pojetí, klasifikuji příbuzenské svazky a zabývám se metodikou řešení úloh o věku. V praktické části pak formou experimentu zjišťuji, jak žáci rozumí daným pojmům a v jakých souvislostech, jakým způsobem terminologii aplikují na řešení relačních úloh a úloh o věku, kde do hry vstupují navíc matematické operace a práce s čísly.
|
|
|
Logická hra Futoshiki
Benedikti, Tomáš ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce se zaobírá problematikou logických her a hlavolamů. Hlavním zaměřením je hra Futoshiki, její historie a pravidla. Detailně se popisují algoritmy použité ve vytvořené aplikaci, od jejich návrhu po implementaci. Poslední částí je tvorba uživatelského rozhraní a testovaní úspěšnosti aplikace.
|
|
|
Logická hra Kakuro
Hodáň, Ján ; Šuška, Boris (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce stručně popisuje historii logiky a logických her. Podrobně vysvětluje pravidla a způsoby řešení hry kakuro. Do hloubky bude rozebrána problematika a způsoby implementace této hry. V posledních kapitolách bude vysvětlen způsob, kterým je logická hra implementována a způsoby testování.
|
|
| |
|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
host ::
RSS.