|
Webová aplikace pro výuku matematické logiky na střední škole
Moravec, Luboš ; Odvárko, Oldřich (oponent) ; Robová, Jarmila (vedoucí práce)
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žnuje testy opakovat s různymi otázkami. Vlastní text, práce obsahuje uživatelskou a programátorskou dokumentaci a tištěnou podobu výkladových kapitol.
|
host ::
RSS.