Die Beweisentwicklungsumgebung W\Omega -Mkrp

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     

Reinhard Werth: Legasthenie und andere Lesestörungen. Wie man sie erkennt und behandelt

Ohne Zusammenfassung     

Assessing Standards in the “Real” Kindergarten Classroom

The importance of using standards as key components in the curriculum is documented in both popular and professional literature. One aspect of integrating standards into the curriculum is the role of assessment. The focus of this paper is to prepare early childhood teachers to assess children's knowledge of the standards within the routines and centers provided in the kindergarten learning environment. Teachers can use this information to develop authentic assessment strategies which typically occurs in a child's learning during center and group time.     

Recordkeeping in local government in norway 1950–2000

In the Skandinavian countries local government agencies provide a big part of the puclic services and have a great impact on society. They are seldom considered in archival research. This paper discusses the practises of municipal recordkeeping in Norway 1950–2000, focusing on how the administrative, legal and technological factors may have affected the content and structures of the archives.