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)

When using spreadsheets to explore real-world problems involving periodic change, students can observe what happens at each period, generate a graph, and learn how changing the starting quantity or constants affects results. Spreadsheet lessons for high school students are presented that explore mathematical modeling, linear programming, and…

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…

This book demonstrates, for teachers at all levels, applications of technology tools for the effective learning and teaching of mathematical skills and concepts as suggested by the National Council of Teachers of Mathematics (NCTM). It focuses on the use of general-purpose computer tools in the mathematics classroom, with an emphasis on problem…