|
|
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
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Řešitel příkladů pro předmět Teoretické základy informatiky
Šimonová, Adriana
Šimonová A., Řešitel příkladů pro předmět Teoretické základy informatiky. Bakalářská práce. Mendelova univerzita v Brně, 2013. Bakalářská práce je zaměřena na předmět Teoretické základy informatiky, konkrétně na výrokovou logiku. V teoretické části práce je popsána teorie výrokové logiky, tak aby čtenáři danou problematiku pochopili. V druhé části práce, je poté popisována práce se samotným řešitelem příkladů.
|
host ::
RSS.