Using robot programming activities for learning in the classroom is one way to drive interest and engagement in the STEM field among students, especially girls. And this is afield that is particularly characterized by an underrepresentation of women. Accordingly, many countries are increasingly integrating activities related to computer science…

Many mathematics educators are not aware of a strong connection that exists between the education of computer programming and mathematics. The reason may be that they have not been exposed to computer programming. This connection is worth exploring, given the current trends of automation and Industry 4.0. Therefore, in this paper we take a closer…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

The emphasis in several courses at technical faculties is on using a computer to perform numerical methods. Instead of focusing on mathematical rigorousness such courses usually concentrate on demonstrating the practical usage of numerical mathematical methods to the students. The practical usage of numerical methods is best learned by exposing…