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

This article develops an algorithm to find all solutions to the problem, making all sums of a hexagram's nine lines the same. It shows how to exploit the geometric structure of the hexagram and its group of automorphisms. (YP)

Discusses how to express an n factorial as a product of powers of primes. Provides two examples and answers. Presents four related suggestions. (YP)

The need for incorporating algorithmics into mathematics instruction is presented. The proliferation of computers is seen to have made the designing of algorithms an essential skill. Examples are given, and the view that mathematics will lose much prestige and importance if algorithmics is not integrated into it is presented. (MP)

Eight factors were studied to determine their relationship to success in a beginning computer science course. Significant correlations were found between the final exam score and reading comprehension, sequence completion, logical reasoning, and algorithmic execution. (Authors/JN)

Describes Newton's method to locate roots of an equation using the Newton-Raphson iteration formula. Develops an adaptive method overcoming limitations of the iteration method. Provides the algorithm and computer program of the adaptive Newton-Raphson method. (YP)

Examines the hypothesis that there are preliminary stages in problem solving that are often neglected in teaching chemistry. Discusses correlations calculated between the student's ability to handle disembedding and cognitive restructuring tasks in the spatial domain and ability to solve chemistry problems. (TW)

Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…

This monograph is aimed at helping the reader understand the built-in logic of various calculator operating systems. It is an outgrowth of workshop contacts with in-service and pre-service teachers of mathematics and is in response to their request for a book on the subject of calculator logic systems and calculator algorithms. The mathematical…