Provides four examples for testing the validity of logical arguments by using the method of truth trees. (YP)

Discussion of how to teach programming skills to novice programmers focuses on the use of a program animator that uses a copies model of recursion to teach the recursive function. Various mental models are reviewed; testing the recursion animator is described; and possibilities for further research are suggested. (12 references) (LRW)

Discusses the development of successful pricing algorithms for cooperative library automation projects. Highlights include desirable characteristics of pricing measures, including simplicity and the ability to allow for system growth; problems with transaction-based systems; and a review of the pricing strategies of seven library consortia.…

Reports on a study, Project REMODEL, that implemented and evaluated innovations in lecture, laboratory, and assessment for students in the introductory sequence for undergraduate chemistry. Results indicate that special sessions and conceptual exam questions can improve students' abilities to work successfully with both concepts and algorithms.…

This thesis addresses problems from two areas of theoretical computer science. The first area is that of computational learning theory, which is the study of the phenomenon of concept learning using formal mathematical models. The goal of computational learning theory is to investigate learning in a rigorous manner through the use of techniques…

Two studies investigated the effects of verbalization of discovered generalizations on the retention of those principles. (SD)

The use of flow charts in the teaching of college mathematics enhances students' understanding of mathematical processes. Used appropriately in elementary and secondary schools they could also nurture understanding of algorithms. (SD)

One difficulty that mathematically naive subjects encounter in solving arithmetic word problems involves the limitation on short term memory (STM) capacity. It is hypothesized that naive subjects, not having access to formal problem solving strategies, may find visualization useful in reducing strain on STM. Two experiments are reported. The…

This paper describes a student project in digital simulation techniques that is part of a graduate systems analysis course entitled Biosimulation. The students chose different simulation techniques to solve a problem related to the neuron model. (MLH)

Studies the relationship between Eulerian and Lagrangian coordinate systems with the help of computer plots of variables such as density and particle displacement. Gives examples which illustrate the differences in the shape of a traveling wave as seen by observers in the two systems. (Author/GA)

Presents algorithms for the simulation and motion display of the three basic kinematic devices: (1) four bar linkages; (2) the slider crank; and (3) the inverted slider crank mechanisms. The algorithms were implemented on a Commodore-VIC 20 microcomputer system with 6500 bytes of available memory. (Author/JN)

Sex differences in speed of solving mental rotation problems were replicated but college men and women were alike in frequency of use of algorithms to solve problems. The most frequent algorithm involved encoding stimuli in working memory, mental rotation of one to orientation of the other, comparison, and response. (Author/RD)

This article presents a new method of inferring students' cognitive structures and their development. A modification of Reitman and Rueter's "ordered tree technique," the method generates a structure that displays important relationships assumed to be in a student's memory about concepts taken from a specific field of study. (Author/LMO)

Describes "Josef," a robot programing language similar to the LOGO turtle language, which has been designed as an instructional system through which the algorithmic problem-solving skills required in computer programing can be developed and tested in a controlled learning environment. Four figures and a reference list are included. (JL)

Details are given of a simple computer program written in BASIC which calculates the sine of an angle through an application of DeMoivre's Theorem. The program is included in the material, and the program's success is discussed in terms of why the approximation works. (MP)