Show simple item record

Teaching web application for secondary school mathematical logic
dc.creatorMoravec, Luboš
dc.date.accessioned2017-05-16T20:00:14Z
dc.date.available2017-05-16T20:00:14Z
dc.date.issued2012
dc.identifier.urihttp://hdl.handle.net/20.500.11956/58264
dc.description.abstractWebová 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.cs_CZ
dc.description.abstractTeaching web application for secondary school mathematical logic Luboš Moravec Abstract: The head part of thís work is a website intended especially for secondary school students which teaches mathematical logic. The website is divided into two parts - a teaching text and tests. The teaching text, which is divided into seven chapters, explains the idea of propositions and their negations, basic logic connectives (conjunction, disjunction, implication, equivalence), a problem of finding truth value of composite propositions and their negations, work with quantifiers, set operations, Venn's diagrams and proof techniques. Except the teaching chapters there are also tests for verifing new knowledge. The questions in tests are randomly selected from a group of similar questions, so a repeated test has new questions. This text contains an user guide, a programmer documentation and a printed version of teaching chapters.en_US
dc.languageČeštinacs_CZ
dc.language.isocs_CZ
dc.publisherUniverzita Karlova, Matematicko-fyzikální fakultacs_CZ
dc.subjectlogikacs_CZ
dc.subjectvýrokcs_CZ
dc.subjectkvantifikátorcs_CZ
dc.subjectVennův diagramcs_CZ
dc.subjectdůkazcs_CZ
dc.subjectlogicen_US
dc.subjectpropositionen_US
dc.subjectquantifieren_US
dc.subjectVenn's diagramen_US
dc.subjectproofen_US
dc.titleWebová aplikace pro výuku matematické logiky na střední školecs_CZ
dc.typerigorózní prácecs_CZ
dcterms.created2012
dcterms.dateAccepted2012-10-22
dc.description.departmentDepartment of Mathematics Educationen_US
dc.description.departmentKatedra didaktiky matematikycs_CZ
dc.description.facultyFaculty of Mathematics and Physicsen_US
dc.description.facultyMatematicko-fyzikální fakultacs_CZ
dc.identifier.repId128209
dc.title.translatedTeaching web application for secondary school mathematical logicen_US
dc.identifier.aleph001530929
thesis.degree.nameRNDr.
thesis.degree.levelrigorózní řízenícs_CZ
thesis.degree.disciplineTraining Teachers of Mathematics and Computer Science at Higher Secondary Schoolsen_US
thesis.degree.disciplineUčitelství matematiky - informatiky pro střední školycs_CZ
thesis.degree.programMatematikacs_CZ
thesis.degree.programMathematicsen_US
uk.faculty-name.csMatematicko-fyzikální fakultacs_CZ
uk.faculty-name.enFaculty of Mathematics and Physicsen_US
uk.faculty-abbr.csMFFcs_CZ
uk.degree-discipline.csUčitelství matematiky - informatiky pro střední školycs_CZ
uk.degree-discipline.enTraining Teachers of Mathematics and Computer Science at Higher Secondary Schoolsen_US
uk.degree-program.csMatematikacs_CZ
uk.degree-program.enMathematicsen_US
thesis.grade.csProspělcs_CZ
thesis.grade.enPassen_US
uk.abstract.csWebová 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.cs_CZ
uk.abstract.enTeaching web application for secondary school mathematical logic Luboš Moravec Abstract: The head part of thís work is a website intended especially for secondary school students which teaches mathematical logic. The website is divided into two parts - a teaching text and tests. The teaching text, which is divided into seven chapters, explains the idea of propositions and their negations, basic logic connectives (conjunction, disjunction, implication, equivalence), a problem of finding truth value of composite propositions and their negations, work with quantifiers, set operations, Venn's diagrams and proof techniques. Except the teaching chapters there are also tests for verifing new knowledge. The questions in tests are randomly selected from a group of similar questions, so a repeated test has new questions. This text contains an user guide, a programmer documentation and a printed version of teaching chapters.en_US
uk.file-availabilityV
uk.publication-placePrahacs_CZ
uk.grantorUniverzita Karlova, Matematicko-fyzikální fakulta, Katedra didaktiky matematikycs_CZ


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: dspace (at) is.cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV