To enable students who intend to teach in secondary schools, use different math programs for better presentation and explanation of mathematical concepts to their pupils. All students can use various math programs to improve their presentations at conferences. Be able to use the new markup languages and the concept of ontology for hanging mathematical texts on the internet, so as to enable semantic search, contributing in this way to a better presentation of mathematical knowledge.
Course Content (Syllabus)
1) Introduction to software for simulation and exploration of Mathematical Problems suitable for presentations in the secondary education, like Skechpad, Cabri Geometry II for Plane Geometry, Cabri Geometry 3D for Solid Geometry, Geogebra for Geometry and Analytic Geometry, Functionprobe for the study of functions.
2) Markup and Formatting Languages for mathematical texts (XML-MathML), Mathematical software for the Web (Ontology Web Language-OWL) and applications to the Semantic Web. Reasoning using Description Logic and Rules on the Semantic Web with examples. Semantic Representation of Mathematical Knowledge (Open Math Document Ontology), Methods for Knowledge Discovery in the Semantic Web.