𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Contexts in Mathematical Reasoning and Computation

✍ Scribed by William M. Farmer; Joshua D. Guttman; F.Javier Thayer

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
590 KB
Volume
19
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Beyond math skills: Measuring quantitati
Beyond math skills: Measuring quantitative reasoning in context
✍ Nathan D. Grawe πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons βš– 68 KB

## Abstract This chapter describes recent attempts to measure context‐rich application of quantitative reasoning. Initial evidence suggests that teaching to explicitly stated learning goalsβ€”whether in the context of a limited cluster of courses or in offerings across the curriculumβ€”can shape studen

Reasoning with uncertainty in computer c
Reasoning with uncertainty in computer chess
✍ Helmut Horacek πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 1022 KB

This paper aims at an improvement of decision making under conditions of uncertainty. An overall analysis is given of how manifestations of uncertainty are dealt with in the field of computer chess. A new method of expressing uncertainty is presented which is done on the basis of a pair of point val

A Sequent Calculus for Automated Reasoni
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn