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: 41
OrientationAttendance TypeSemesterYearECTS
CoreElective CoursesSpring-5

Class Information
Academic Year2017 – 2018
Class PeriodSpring
Instructors from Other Categories
Weekly Hours3
Total Hours39
Class ID
Course Type 2016-2020
  • General Knowledge
  • Skills Development
Course Type 2011-2015
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)
The course is part of the module of courses that aim to offer dexterities for teaching mathematics in Secondary Education. 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 Work692.3
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