Název: Program pro výuku základů matematické logiky
Překlad názvu: Teaching program for bases of mathematical logic
Autoři: Moravec, Luboš ; Odvárko, Oldřich (oponent) ; Robová, Jarmila (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2006
Jazyk: cze
Abstrakt: Nazev prace: Program pro vyuku zakladu matematickeJogiky Autor: Lubos Moravec Katedra: Katedra didaktiky matematiky Vedouci bakalarske prace: RNDr.Jarmila Kobova, CSc. E-mail vedouci: Robova^karlin.mff.cuni.cz Abstrakt: Nejdulezitejsi cast prace je pocitacovy program urceny pfedevsim pro studenty stfednich skol, ktery slouzi k vyuce zakladu matematicke logiky Aplikace je rozdelena na dve casti - vyklad a testy. Vyklad cleneny do tfi kapitol nejdfive vysvetlujc pojcm vyroku a jeho negacc, dale sc zabyva zakladnimi logickymi spojkami (konjunkce, disjunkce, implikace, ekvivalence). Pote nasleduje popis vyhodnocovani pravdivosti a ncgovani slozenych vyroku a na zaver je probrano vyuziti kvantifikatoru. Kazda kapitola je doplnena testem overujicim nabyte znalosti. Otazky v testech jsou nahodnc vybirany z nekolika variant, coz umoznuje testy nckolikrat opakovat s ruznymi otazkanii. Vlastni text prace obsahuje pfedevsim uzivatelskou a programatorskou dokumentaci. Klicova slova; logika, vyrok, logicka spojka, kvantifikator Title: Teaching program for bases of mathematical logic Author: Lubos Moravec Department: Department of Didactics of Mathematics Supervisor: RNDr. Jarmila Robova, CSc. Supervisor's e-mail address: RobovaO^karlin.mff.cuni.cz Abstract: The most important part of this work is a computer application...

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/5834

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-272030


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce