Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Using Mathematical Modelling has become a useful tool in teaching-learning mathematics at all levels. This is so because mathematical objects are seen from their very applications, giving them meaning from the beginning. In this paper we present some details on the development of a teacher's training course called Modelling in the Teaching of…

This article explains the didactical design of M@th Desktop (MD), a teaching and learning software application for high schools and universities. The use of two types of MD resources is illustrated: notebooks and palettes, focusing on the topic of exponential functions. The handling of MD in a blended learning approach and the impact on the…

When working with e-teaching materials we often find that the authors of resources, meant for the use of teachers in the teaching process, do not use the opportunities offered by the new technologies. All too often the materials are a monolithic block (or at least their main part is), constructed the way an ordinary book or workbook would be. This…

This article presents a case study in which researcher-practitioner collaboration took place to promote effective use of technology in an urban elementary school mathematics classroom. Data were primarily gathered through classroom observations and interviews. The aim of this study was twofold. First, to increase our understanding of the effects…

The current mantra in education is "technology, technology, technology." Many teachers and prospective teachers become frustrated with their lack of knowledge regarding the "appropriate" use of technology in the classroom. Prospective teachers need training in their education to understand how technology can be used "appropriately" in the…