Today, schools are introducing STEM education and robotics to children in ever-lower grades. In "Beyond Coding," Marina Umaschi Bers lays out a pedagogical roadmap for teaching code that encompasses the cultivation of character along with technical knowledge and skills. Presenting code as a universal language, she shows how children…

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…

Discusses the Texas Instruments calculator the TI-92 and how it can be an effective tool in the mathematics classroom. Provides examples of combining the algebra capabilities of the calculator and Cabri-Geometry II with graphing, tables of values, statistics, programming, and a simple text editor to enhance mathematics instruction. (DDR)

Presents a scenario in which two people solve a programming problem by discussing various number sequences and functions. The problem is redefined as one related to number theory and operations research. (DDR)

Describes use of the little-known Shuttle Puzzle in computer programming to elucidate the process of analyzing a problem and synthesizing observations into an algorithm that can be used to generate a programming solution. The process used to solve the problem reflects one that an expert uses. The method could be adapted for small-group cooperative…

This book is designed to help teachers maximize their students' learning of Logo. It investigates what students learn when they learn Logo, and how teachers know what they are learning. The book is intended primarily for teachers at the upper elementary and middle school levels. Each chapter is devoted to a critical aspect of Logo learning, and…