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…

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)

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)

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)

Studied children's transitive inference where representation of premises provided contradictory information depending on position of two elements in a A, B, C series. Eight-year olds did significantly better on the more complex problems than did six-year olds, suggesting the presence of a developmental sequence of algorithms that enable children…

This study assessed the extent to which procedurally proficient children (N=34) construct the part/whole logical structure that underlies the borrowing algorithm in subtraction. Results indicate that an understanding of the part/whole logic of number may be necessary to understand place value and borrowing. (TJH)

This paper presents an examination of the construction of logic in multidigit subtraction. Interviews were conducted with 90 grade 2 and grade 3 students to determine whether they understood the logic of borrowing and whether the construction of the logic was related to procedural expertise or corresponding conceptual knowledge. Of 34 students…

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)

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…

The central objective of this study was to determine the effects of formal training in the use and types of questions and in the nature and use of algorithms on middle school students' achievement in economic geography. Subjects were 190 eighth grade students in a large metropolitan school district. Three experimental groups received either: (1)…

STITE (Scientific and Technical Information Transfer for Education) is basically a system to interface between science information and the science learner. As such STITE acts as a link between STIC (Science and Technology Infromation Centers) and LIS (Learning Information Systems). In this second progress report the internal knowledge of STITE is…

Clinchy and Rosenthal's error classification scheme was applied to test results to determine its ability to differentiate the effectiveness of instruction in two elementary schools. Mathematics retention tests matching the instructional objectives of both schools were constructed to measure the understanding of arithmetic concepts and the ability…