排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
2.
Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith J?rn Richts und J?rg Siekmann 《Informatik - Forschung und Entwicklung》1996,11(1):20-26
Zusammenfassung.
Die Beweisentwicklungsumgebung -Mkrpsoll
Mathematiker bei einer ihrer
Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme
unterstützen. Diese Unterstützung mu? so komfortabel sein,
da? die
rechnergestützte Suche nach formalen Beweisen leichter und insbesondere
weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete
Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt
über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am
Menschen orientierte Form pr?sentiert werden und vor allem mu? eine
effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung
stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist
der Versuch einer
Synthese der Ans?tze des vollautomatischen, des interaktiven und des
planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere
Arbeit an diesem System geben.
Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995 相似文献
3.
The values of block play include development of hand-eye coordination, thinking skills, language development, cooperation
among children, mathematical concepts, and many others. Guidelines for the block center and activities are described and illustrated.
Samples of task cards and sentence strips give practical ideas for the classroom. 相似文献
4.
Tom Nesmith 《Archival Science》2006,6(3-4):351-360
Increasing interest amongst archivists in the history of records and archives leads to questions about how this historical knowledge may affect archival theory and practice. This article discusses its effect on the concept of provenance by suggesting that it indicates that records have what might be called a societal provenance. The article discusses some of the principal features of societal provenance and some implications for archival theory and practice of this concept. The article provides examples of the place of societal provenance in understanding Aboriginal-Euro-Canadian records by using the 1802–1803 birchbark journal of fur trader Jean Steinbruck, which has a provenance in fur trade society in northwestern Canada, and photographs from the late nineteeth century, which reflect a provenance in the new agrarian and urban society that ended fur trade society in the Canadian West. 相似文献
5.
6.
Envisioning Equitable Classrooms That Enhance All Students’ Wonderful Ideas: A Duckworth Perspective
Suzanne M. Nesmith Jason F. Trumble Sarah J. Haugh-Villareal Kelsie S. Porter Megan A. Schaum Erin M. Spencer 《Journal of Latinos & Education》2014,13(3):238-239
This synopsis centers on Eleanor Duckworth’s ideas about the relationship between education and intellectual development. Specifically, Duckworth described the essence of intellectual development as the “having of wonderful ideas” and the essence of pedagogy as the creation of occasions to “have wonderful ideas.” As opposed to accepting the persistent, pernicious educational belief that there is a single, best way to understand and a single, best way of explaining this understanding, Duckworth determined that all children can come to comparable, equally satisfactory, wonderful understandings when provided occasions to do so. 相似文献
1