CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…

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…

Advances in, and dissemination of, computer technologies in the field of drug research now enable the use of molecular modeling tools to teach important concepts of drug design to chemistry and pharmacy students. A series of computer laboratories is described to introduce undergraduate students to commonly adopted "in silico" drug design…

When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…

The basis of the submitted study are the continuously rising demands to alter the curricula with the aim to develop students' key competences in order to increase their professional versatility. The lack of scientific research and discussions show that little investigation has been done on the issue of development of key competences. Therefore,…

Throughout Australia, many government and non-government schools have implemented a one-laptop-per-student (1:1) policy. Whilst there was initial interest in the implementation of these programs, little has been done to track the uptake of digital learning technologies afforded by access to the laptops. This study examined pre-service teachers'…

Semiotics has recently achieved some prominence as a theoretical foundation for foreign language learning/teaching. Though there have been a number of research on the semiotics in foreign language learning, the practical use of semiotics in preschool classroom environment still remains unanswered. What is more, the effectiveness of computers on…

The study aims to identify the effect of using computerized based education on Eighth grade achievement in Math. In addition the study aims to identify the effect of gender on students' achievement who received computerized education. The study was based on the selection of students from two schools in Ma'an City one for females and the other for…

Because of its abstract nature, Albert Einstein's theory of general relativity is rarely present in school physics curricula. Although the educational community has started to investigate ways of bringing general relativity to classrooms, field-tested educational material is rare. Employing the model of educational reconstruction, we present a…

A classical experiment used to introduce the concept of body inertia, breaking of a thread below and above a hanging weight, is described mathematically and presented in a new way, using force sensors and a computer system.

This Communication summarizes one of the invited papers to the Select 2016 BCCE Presentations ACS CHED Committee on Computers in Chemical Education online ConfChem held from October 30 to November 22, 2016. The ConfChem paper (included within Supporting Information) focuses on the results of one instructor's incorporation of social media into her…

A significant body of research has examined the impact of technology on pedagogy (Cuban, 1999; Enyedy, 2014), student achievement (Schachter, 1999; Cheung & Slavin, 2013, OECD, 2015), and equity (Reich, Murnane & Willett, 2012; Van Deursen & Van Dijk, 2011) with both positive and negative results within each domain. Research has also…

Nowadays, the use of information technology (ICT) in education is nothing new. But the question is where the limit is when the use of ICT does not have the desired effect. In the paper we discuss the use of simulations in the teaching process that can positively influence students' achievements. At the beginning of the paper we present the results…

The Pedagogical Agents (PAs) for Mobile Learning (m-learning) must be able not only to adapt the teaching to the learner knowledge level and profile but also to ensure the pedagogical efficiency within unpredictable changing runtime contexts. Therefore, to deal with this issue, this paper proposes a Context-aware Self-Adaptive Fractal Component…

The subject of the article is usage of modern computer technologies through the example of interactive geometry environment Geogebra as an innovative technology of representing and studying of geometrical material which involves such didactical opportunities as vizualisation, simulation and dynamics. There is shown a classification of geometric…