Mathematical Software and Knowledge Representation

Description

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. Introduction to the software packages Mathematica and Maple suitable for a wide range of Mathematical Applications.
Languages for structureing Mathematical Texts (XML-MathML), Mathematical software for the Web (Ontology Web Language-OWL) and applications to the Semantic Web, Reasioning in Description Logics and Rules for the Semantic Web using Ontology Languages OWL-DL (Ontology Web Language Description Logic), Semantic Representation of Mathematical Knowledge (Open Math Document Ontology). Methods of Knowledge Discovery in the Semantic Web.

Semester: 
Units: 
3
Credit Units (ECTS): 
5.0
Hours: 
3ώρες
ID: 
0966
Course Type: 
X