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…

Electronic textiles (e-textiles)--fabrics embedded with electrical or electronic components--offer a new model for teaching this content. E-textiles also engage students in programming and engineering design through nontraditional projects and materials. This article describes a four-week electricity curriculum using three e-textiles projects that…

Describes a way of incorporating animations into spreadsheets using Excel software. (WRM)

Illustrates the ease with which programs occupying only a single command line of a graphics calculator can be constructed. (MKR)

Explains how the Roamer Turtle, a piece of technology utilizing the LOGO programming language, can be used in a mathematics curriculum with students aged 4-7. Describes experiences in visiting various classes to see the Roamer in use. (MM)

Discusses the place of linear programming in college curricula and the advantages of using linear-programming software. Lists important characteristics of computer software used in linear programming for more effective teaching and learning. (ASK)

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)

Discusses the reasons for careful evaluation of students' programs by a skilled programmer. Suggests that grades for programs must be partly based on quality factors such as clarity, organization, conciseness, and maintainability. (ASK)

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)

This hands-on guide shows readers how to use HyperCard software to create instructional programs on the Macintosh computer. The book describes how to choose subject matter, design a program, and determine the method of presentation, including the type of interaction and guiding metaphors that will be used. It explains how to make programs easy for…

Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)

Describes the use of C programming language for creating simple programs to teach about pendulums, waves, and frequency. (PR)

Describes a junior high school course in musical composition using Musical Instrument Digital Interface (MIDI) technology. Discusses course objectives and three composition projects. Includes a list of definitions and asserts that MIDI technology offers students and teachers a powerful method to study how music works. (CFR)

A practical step-by-step approach to teaching multimedia skills is offered in this book. A model called "Decide, Design, Develop, and Evaluate" (DDDE) is presented which can be used as a template for designing, producing, and assessing multimedia projects in the classroom. The books covers all issues an educator is likely to face with…

Describes an assignment where students are given the task of using a computer-authoring system to develop a multimedia lesson on DNA and RNA molecules. (PR)