The aim of this study is to explore how structural and process aspects of secondary school students' mathematical reasoning support each other in a collaborative learning environment through the integration of "GeoGebra" software and the ACODESA method. The study involved four eighth-grade secondary school students, who participated in…

Basic courses on logic are common in most computer science curricula. Students often have difficulties in handling formalisms and getting familiar with them. Educational software helps to motivate and improve the teaching-learning processes. Therefore, incorporating these kinds of tools becomes important, because they contribute to gaining…

The purpose of this paper is to propose a training program for creative problem solving based on computer programming. The proposed program will encourage students to solve real-life problems through a creative thinking spiral related to cognitive skills with computer programming. With the goal of enhancing digital fluency through this proposed…

This paper describes an action-research experience carried out with second year students at the School of Engineering of the National University of Entre Ríos, Argentina. Vector calculus students played an active role in their own learning process. They were required to present weekly reports, in both oral and written forms, on the topics studied,…

This paper reports on the different gesture types employed by twenty-three Year 10 students as they endeavoured to explain their understanding of rate of change associated with the functions resulting from two different computer simulations. These gestures also have application to revealing students' understanding of functions. However,…

Mathematical induction is one of the major proof techniques taught to mathematics students in the first years of their undergraduate degrees. In addition to its importance to mathematics, induction is also required for computer science and related disciplines. However, even if the concepts of a proof by induction are taught and understood, many…

This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

There are many arguments that reflect on inductive versus deductive methods in mathematics. Claims are often made that teaching from the general to the specific does make understanding better for learners or vice versa. I discuss an intervention conducted with Grade 10 (15-year-old) learners in a small suburb in South Africa. I reflect on the…

The purpose of the study was to investigate the effects of inquiry-based computer simulation with heterogeneous-ability cooperative learning (HACL) and inquiry-based computer simulation with friendship cooperative learning (FCL) on (a) scientific reasoning (SR) and (b) conceptual understanding (CU) among Form Four students in Malaysian Smart…

This paper describes an ongoing EU project concerned with developing an instructional design framework for virtual classes (VC) that is based on the theory of Multiple Intelligences (MI) (1983). The psychological theory of Multiple Intelligences (Gardner 1983) has received much credence within instructional design since its inception and has been…

Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete…

This paper reports the introduction of electronic handsets, like those used on the television show Who Wants To Be A Millionaire? into the teaching of philosophical logic. Logic lectures can provide quite a formidable challenge for many students, occasionally to the point of making them ill. Our rationale for introducing handsets was threefold:…

The mathematical experiences of elementary students often focus on memorizing facts and rules as opposed to making sense of the subject and developing problem solving skills. Students spend large amounts of time processing, memorizing and sorting collections of data which are tasks well performed by computer technology. To correct this situation,…

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

Described is a study in which seventh graders used LOGO in place of receiving geometry instruction. It was hypothesized that angle recognition estimation and construction would be higher for the LOGO group. Reports that a difference was found favoring the LOGO group. Provides a short history of the LOGO language. (MVL)