The introduction of certain topics in the theory of machines and languages into school and college mathematics courses in place of the more usual discussion of groups and formal logic is proposed. Examples of machines and languages and their interconnections suitable for such courses are outlined. (MP)

This study, part of a longitudinal investigation, examined the kinds of thinking which children aged 10 and 11 could carry over from Logo instruction to an algebraic context. Interviews focused on their ability to construct meaningful symbolization for the concept of variable and to construct formalized algebraic rules. (MNS)

Provided is an overview and analysis of recent progress in applying electronic information technology to creation of new environments for intellectual work in mathematics. Describes the impact of numerical computation, graphic computation, symbolic computation, multiple representation of information, programing and information, and artificial…

The LOGO subroutine turtle geometry and Euclidean geometry are compared with respect to their treatment of similarity and difference of plane figures. The problem and its proposed solution of introducing a FLIP operation are viewed briefly from the perspectives of mathematics, computer science, and education. (MDH)

Implications of using pupil-to-pupil discussion with mathematics classrooms are discussed, with different ways in which such discussion might promote mathematical understanding. A framework for instruction includes the learning of the computer language Logo. (MNS)

Described is a year-long study of the way a group of six 12-year-old children went about solving a special class of geometric problems using a computer and a limited set of LOGO programing tools. Examines solution strategies deciding whether those strategies led to insights about mathematical relations. (Author/MVL)