Presented is a model of problem solving that incorporates elements of hypothetico-deductive reasoning in the Piagetian sense, and heuristic-algorithmic processing in the information-processing sense. It assumes that people invoke both formal reasoning strategies and learned algorithms whenever they solve problems. The proposed model integrates the…

The learning machine described in this paper acquires concepts representable as conjunctive forms of the predicate calculus and behaviors representable as productions (antecedent-consequent pairs of such conjunctive forms): these concepts and behavior rules are inferred from sequentially presented pairs of examples by an algorithm that is probably…

Discrete mathematics, the mathematics of decision making for finite settings, is a topic of great interest in mathematics education at all levels. Attention is being focused on resolving the diversity of opinion concerning the exact nature of the subject, what content the curriculum should contain, who should study that material, and how that…