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…

The goal of this paper is to promote computational thinking among mathematics, engineering, science and technology students, through hands-on computer experiments. These activities have the potential to empower students to learn, create and invent with technology, and they engage computational thinking through simulations, visualizations and data…

This study investigates the relationship between approaches to studying and course completion in two online preparatory university courses in mathematics and computer programming. The students participating in the two courses are alike in age, gender, and approaches to learning. Four hundred and ninety-three students participating in these courses…

These proceedings contain the papers of the 14th International Conference on e-Learning (EL 2020), which was organised by the International Association for Development of the Information Society, July 21-23, 2020. This conference is part of the 14th Multi Conference on Computer Science and Information Systems 2020, July 21-25, which had a total of…

These proceedings contain the papers and posters of the 13th International Conference on Mobile Learning 2017, which was organised by the International Association for Development of the Information Society (IADIS), in Budapest, Hungary, April 10-12, 2017. The Mobile Learning 2017 Conference seeks to provide a forum for the presentation and…

These proceedings contain the papers of the 13th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2016), October 28-30, 2016, which has been organized by the International Association for Development of the Information Society (IADIS), co-organized by the University of Mannheim, Germany, and endorsed by the…

Presents an approach for illustrating, on an intuitive level, the significance of loop invariants for algorithm design and analysis. The illustration is based on mathematical games that require the exploration of regularities via problem-solving heuristics. (Author/MM)

The notions of pentagonal numbers and partitions can be understood by students at the precalculus level, and should work well in a first course in programming for high school or college students. Presents opportunities to conjecture properties of partitions from a computer program. (Contains 14 references.) (Author/ASK)

Demonstrates a less utilized feature of the TI-92+: its natural and powerful programming language. Shows how to implement several linear algebra related algorithms including the Gram-Schmidt process, Least Squares Approximations, Wronskians, Cholesky Decompositions, and Generalized Linear Least Square Approximations with QR Decompositions.…

While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented…

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…

The aim of the 2018 International Association for Development of the Information Society (IADIS) Cognition and Exploratory Learning in the Digital Age (CELDA) conference was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive…

Outlines how a course in robotics can be taught at the undergraduate level with specific experiments that can be used for incremental learning in programming a mobile robot or by simulating the actions of a robot. Contains 14 references. (Author/ASK)

Describes a constructivist, interactive approach for teaching undergraduate mathematics, abstract algebra in particular, using computer constructions programmed in ISETL to induce students' mental constructions and collaborative learning to help students reflect on these constructions. (18 references) (MKR)

This paper introduces an architecture for an e-learning system with an embedded authoring system. Based on the metaphor of a construction kit, this approach offers a general solution for specific content creation and publication. The learning resources are IMS "Content Packages" with a special structure to separate content and presentation. These…