| dc.contributor.advisor | Robová, Jarmila | |
| dc.creator | Moravec, Luboš | |
| dc.date.accessioned | 2017-03-29T13:26:58Z | |
| dc.date.available | 2017-03-29T13:26:58Z | |
| dc.date.issued | 2006 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/5834 | |
| dc.description.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... | en_US |
| dc.description.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... | cs_CZ |
| dc.language | Čeština | cs_CZ |
| dc.language.iso | cs_CZ | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.title | Program pro výuku základů matematické logiky | cs_CZ |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2006 | |
| dcterms.dateAccepted | 2006-06-30 | |
| dc.description.department | Katedra didaktiky matematiky | cs_CZ |
| dc.description.department | Department of Mathematics Education | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.identifier.repId | 43732 | |
| dc.title.translated | Teaching program for bases of mathematical logic | en_US |
| dc.contributor.referee | Odvárko, Oldřich | |
| dc.identifier.aleph | 000971017 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Mathematics directed towards education | en_US |
| thesis.degree.discipline | Matematika zaměřená na vzdělávání | cs_CZ |
| thesis.degree.program | Mathematics | en_US |
| thesis.degree.program | Matematika | cs_CZ |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra didaktiky matematiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Mathematics Education | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Matematika zaměřená na vzdělávání | cs_CZ |
| uk.degree-discipline.en | Mathematics directed towards education | en_US |
| uk.degree-program.cs | Matematika | cs_CZ |
| uk.degree-program.en | Mathematics | en_US |
| thesis.grade.cs | Výborně | cs_CZ |
| thesis.grade.en | Excellent | en_US |
| uk.abstract.cs | 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... | cs_CZ |
| uk.abstract.en | 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... | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra didaktiky matematiky | cs_CZ |
| dc.identifier.lisID | 990009710170106986 | |
