|
|
Důkazy
Hofman, Jakub ; Staněk, Jakub (vedoucí práce) ; Rmoutil, Martin (oponent)
Název práce: Důkazy Autor: Jakub Hofman Procoviště: Katedra didaktiky matematiky Vedoucí bakalářské práce: RNDr. Jakub Staněk, Ph.D., Katedra didak- tiky matematiky Abstrakt: Tato bakalářská práce má žákům středních škol přiblížit pojem mate- matického důkazu, stručně popsat jednotlivé důkazové metody a poskytnout vzorově dokázané věty z různých oblastí matematiky. Dalším cílem této práce je poskytnout žákům středních škol studijní materiál, který svou struktu- rou odpovídá matematickým učebnicím a skriptům, které bývají k dispozici na vysokých školách. V první části je žák obeznámen se základními pojmy logiky. Jsou zde obsaženy pojmy, se kterými se žáci střední školy běžně setkají v hodinách matematiky. Znalost těchto pojmů je klíčová pro pochopení principů jednot- livých důkazových metod. Hlavní část práce se věnuje vysvětlení jednotlivých důkazových metod a jejich aplikaci při dokazování matematických vět. Tyto věty svou odbornou obtížností odpovídají znalostem žáka střední školy. Věty jsou řazeny podle obtížnosti jejich důkazu, samotné věty na sebe nenavazují ani nevytváří uce- lenou matematickou teorii, nebot' to není záměrem práce. Součástí práce je také přehled...
|
|
| |
|
|
Počátky řecké matematiky - Thalés, Pythagoras a Eukleidés
Ebelová, Gabriela ; Kvasz, Ladislav (vedoucí práce) ; Jančařík, Antonín (oponent)
Název práce: Počátky řecké matematiky - Thalés, Pythagoras a Eukleidés Autor práce: Gabriela Ebelová Katedra: Katedra matematiky a didaktiky matematiky Vedoucí práce: Prof. RNDr. Ladislav Kvasz, Ph.D. Práce se zabývá novým pohledem na historii matematiky v Řecku a jeho využitím při výuce matematiky v dnešní době. V první části jsou představeni tři matematici řecké doby a to Tháles, Pythagoras a Eukleidés. Je popsán jejich život a významná díla. Druhá část je věnována rozboru knihy Arpáda Szaba The Begginings of Greek Mathematics. Je zde představen jeho odlišný pohled na historii řecké matematiky. Obsahem třetí a poslední části je využití historie při výuce matematiky. Také porovnání výukových metod v historickém Řecku a současné době. Klíčová slova: historie matematiky, Arpád Szabó, výuka matematiky
|
|
|
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.
|
|
|
Nerovnosti a jejich aplikace
TESAŘOVÁ, Jaroslava
Tato diplomová práce se zabývá matematickými nerovnostmi, jejich využitím v matematice a aplikací do termodynamiky. Hlavní důraz je kladen na důkazy nerovností a řešení příkladů. Dále jsou vysvětleny matematické pojmy jako např. norma či metrika, potřebné k pochopení uvedených postupů, a také některé ze základních pojmů termodynamiky. K porozumění této práce je potřebná znalost analýzy a termodynamiky.
|
|
|
Personologický důkaz Boží existence proti ateizmu
Čápová, Eva ; Bouma, David (vedoucí práce) ; Novotný, Vojtěch (oponent) ; Svoboda, David (oponent)
Lidstvo od počátku své existence hledá svého Stvořitele a snaží se Ho poznat. Existuje Bůh? Ptá se ateista, agnostik a mnohdy i věřící. Filozofové a teologové se snaží dokázat, anebo popřít Jeho existenci. Smyslem tohoto důkazu není nic jiného, než dokázat, že člověk má Stvořitele, vůči kterému má zodpovědnost, z které se nemůže žádným způsobem vyvázat. Personologický důkaz, který podávám, aspiruje na apodiktický důkaz Boží existence. Práce je rozdělena na tři části. V první části se chronologicky zabývám nejznámějšími důkazy Boží existence, počínaje ontologickým důkazem sv. Augustina, sv. Anselma, sv. Tomáše Aquinského a teleologickým důkazem. V závěru této části nabízím současný stav bádání na tomto poli, zejména pak pohled, který se profiluje v časopise Distance, což je respektovaný internetový časopis kritického myšlení. Ve druhé části uvádím vlastní důkaz Boží existence. K tomu používám čistě rozumový aparát bez akceptace víry a k důkazu pronikám pomocí sylogizmu. Ze dvou obecně platných premis dospívám k novému výroku. Písmo svaté a dogma o poznatelnosti Boží existence světlem rozumu dokládám jako analogii souladu víry a rozumu. Název důkazu "personologický" je pak velmi důležitý pro prokázání identity Boha. Poslední část je věnována zejména kritice ateizmu a agnosticizmu. Právě destruktivní...
|
|
|
Středoškolská matematika vysokoškolsky
Kučera, Jiří ; Bečvář, Jindřich (vedoucí práce) ; Staněk, Jakub (oponent)
Práce je určena k samostudiu absolventů středních škol. Připravuje studenta, který se chystá na matematicky zaměřenou vysokou školu. Seznamuje jej s teoretickým přístupem k matematice. K tomuto účelu byla vybrána témata mocniny, odmocniny, logaritmy a rovnice, které tyto objekty obsahují. Student tak má příležitost osvojit si vysokoškolský přístup k matematice na tématech, která by měl ze střední školy dokonale ovládat. Vedle toho mu práce umožňuje prohloubit si znalosti oněch témat a setkat se s těžšími a neobvyklými příklady.
|
|
| |
|
|
Busy Beaver Problem
Kropitz, Pavel ; Holan, Tomáš (vedoucí práce) ; Mráz, František (oponent)
Práca mala za úlohu vyvinúť a implementovať optimalizačné metódy, ktoré by našli uplatnenie pri riešení busy beaver problému rádu 5+. Výsledkom práce je teoretická časť a jej implementácia v podobe dvoch programov - simulátora turingových strojov podrobne zobrazujúceho výpočet stroja s aplikáciou teórie a programu prehľadávajúceho priestor turingových strojov. Ten bol spustený pre turingove stroje o štyroch až šiestich stavoch. Kvalitu metód preukázal malým počtom strojov, ktorých správanie nedokázal odhaliť a nájdením nového rekordného stroja - kandidáta na busy beavera rádu 6.
|
|
|
Dzogčhen a jeho filosofické aspekty v tradici Bön
KLOZAR, Karel
Práce se zabývá filosofickými aspekty Dzogčhenu, jenož náhled tvoří nejhlubší a nejvlastnější esenci tradice Jungdrung Bön. Dzogčhen je duchovní tradice se specifickým nedualistickým náhledem na svět a člověka. První část se zabývá historií Bönu a rozdělením jeho nauk, a také hlavními dzogčhenovými liniemi v této tradici předávaných. Další část cílí na vysvětlení rozdílů mezi sútrou, tantrou a Dzogčhenem z pohledu bönského Dzogčhenu zejména ve smyslu pojmů základu, cesty a plodu, prázdnoty a jasnosti, vědomí a mysli a jejich přirozenosti. Dále předkládá text Dvanáct malých tanter, který i důsledně vysvětlí a okomentuje. V poslední a klíčové kapitole se práce věnuje filosofickému prozkoumání některých klíčových aspektů Dzogčhenu, zejména pojmu autenticity, a to ve smyslu jak si můžeme být jisti zkušenosti přirozené mysli, když naše vědomí ji nejsou schopna nijak pojmout. Dále dojde na porovnání Parmenidových zlomků s některými východisky buddhistické a dzogčhenové filosofie a vyvozeny možné inspirativní závěry o pojmu myšlení o intencionalitě.
|
host ::
RSS.