In many advanced mathematics courses, comprehending theorems and proofs is an essential activity for both students and mathematicians. Such activity requires readers to draw on relevant meanings for the concepts involved; however, the ways that concept meaning may shape comprehension activity is currently undertheorized. In this paper, we share a…

In this note we demonstrate two instances where matrix multiplication can be easily verified. In the first setting, the matrix product appears as matrix element concatenation, and in the second, the product coincides with matrix addition. General proofs for some results are provided with a more complete description for 2×2 matrices. Suggested for…

A critical part of supporting the development of students' algorithmic thinking is understanding the challenges that emerge when students engage with algorithmatizing tasks--tasks that require the creation of an algorithm. Knowledge of these challenges can serve as a basis upon which educators can build effective strategies for enhancing students'…

We report on an innovative design of algorithmic analysis that supports automatic online assessment of students' exploration of geometry propositions in a dynamic geometry environment. We hypothesized that difficulties with and misuse of terms or logic in conjectures are rooted in the early exploration stages of inquiry. We developed a generic…

Proposes a new approach for classifying text documents into two disjoint classes. Highlights include a brief overview of document clustering; a data mining approach called the One Clause at a Time (OCAT) algorithm which is based on mathematical logic; vector space model (VSM); and comparing the OCAT to the VSM. (Author/LRW)

Reports on a study that found people could follow instructions from flowcharts or lists more quickly and accurately than from prose. (HOD)

Examines problem-solving results among second-grade students in three schools that were all using a reformed mathematics curriculum. Except for one problem, more students used a mental procedure than the standard written algorithms, and both methods were used with approximately the same degree of accuracy. (AIM)

Encourages teachers to allow opportunities for students to present alternative algorithms, whether the students invent them or learn them, then lead a discussion about the meaning of the operations with the goal of students understanding why the algorithm works. Teachers with students of similar racial and ethnic backgrounds should encourage the…

The "word problem" is stated for a given collection. Facts regarding Dehn's Algorithm, definition of Thue systems, a rewriting system, lemmas and corollaries are provided. The situation is examined where the monoid presented by a finite Thue system is a group. (DC)

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

Describes examples of rational representation as a guide for translating terminology and information encountered in manuals for computers. Discusses four limitations of the representation. (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)