The role of definition in supporting mathematical activity
Abstract
References
Recommendations
Mathematical Induction in Otter-Lambda
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates deduced clauses and uses strategies to control the deduction and retention ...
The role of technology in supporting multiage classroom practices
This article reports on the final evaluation of the project, Constructing and Networking for Multiage Learning. The project gave teachers access to the resources of the World Wide Web (WWW or Web) and supported their efforts to become more ...
To a mathematical definition of 'life'
'Life' and its 'evolution' are fundamental concepts that have not yet been formulated in precise mathematical terms, although some efforts in this direction have been made. We suggest a possible point of departure for a mathematical definition of 'life'...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
- Conference Chairs:
- Susan Goldman,
- James Pellegrino,
- Editors:
- Kimberly Gomez,
- Leilah Lyons,
- Joshua Radinsky
Publisher
International Society of the Learning Sciences
Publication History
Qualifiers
- Research-article
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 6Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in