Program pro výuku základů matematické logiky

Abstract

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...

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...