Mathematical Software and Knowlendge Representation

Course Information
TitleΜΑΘΗΜΑΤΙΚΑ ΛΟΓΙΣΜΙΚΑ ΚΑΙ ΟΙ ΓΛΩΣΣΕΣ ΑΝΑΠΑΡΑΣΤΑΣΗΣ ΓΝΩΣΗΣ / Mathematical Software and Knowlendge Representation
Cycle / Level1st / Undergraduate
Teaching PeriodSpring
Course ID40002795

Programme of Study: UPS of School of Mathematics (2014-today)

Registered students: 173
OrientationAttendance TypeSemesterYearECTS
CoreElective Courses635

Class Information
Academic Year2015 – 2016
Class PeriodSpring
Faculty Instructors
Instructors from Other Categories
Weekly Hours3
Class ID
Type of the Course
  • General Knowledge
  • Skills Development
Course Category
General Foundation
Mode of Delivery
  • Face to face
The course is also offered to exchange programme students.
Language of Instruction
  • Greek (Instruction, Examination)
Learning Outcomes
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.
General Competences
  • Apply knowledge in practice
  • Retrieve, analyse and synthesise data and information, with the use of necessary technologies
  • Make decisions
  • Work autonomously
  • Work in teams
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.
Educational Material Types
  • Notes
  • Slide presentations
  • Interactive excersises
Use of Information and Communication Technologies
Use of ICT
  • Use of ICT in Course Teaching
  • Use of ICT in Laboratory Teaching
  • Use of ICT in Communication with Students
Course Organization
Laboratory Work150.5
Student Assessment
In the first part (Math Software) the students are ranked by individual examination in theory and their skills via laboratory exercises in the computer's lab (50% of grade). In the second part (knowledge representation language) students are ranked by individual and group written work on the theory was taught (50% of grade).
Student Assessment methods
  • Written Assignment (Summative)
  • Oral Exams (Summative)
  • Written Exam with Problem Solving (Summative)
  • Labortatory Assignment (Summative)
Last Update