Descriptor
Abstract Reasoning | 2 |
Algorithms | 2 |
Mathematical Models | 2 |
Algebra | 1 |
College Mathematics | 1 |
Educational Research | 1 |
Learning | 1 |
Learning Theories | 1 |
Logical Thinking | 1 |
Mathematical Concepts | 1 |
Mathematical Logic | 1 |
More ▼ |
Publication Type
Guides - Non-Classroom | 1 |
Journal Articles | 1 |
Reports - Descriptive | 1 |
Reports - Research | 1 |
Education Level
Audience
Practitioners | 1 |
Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating

Book, Ronald V. – American Mathematical Monthly, 1988
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)
Descriptors: Abstract Reasoning, Algebra, Algorithms, College Mathematics
Hayes-Roth, Frederick – 1977
This paper is a theoretical discussion of several functions of knowledge systems based on the idea of partial matching, that is, comparison of two or more descriptions by identification of their similarities. Several knowledge system functions are described in terms of partial or best matchings including analogical reasoning, inductive inference,…
Descriptors: Abstract Reasoning, Algorithms, Educational Research, Learning