/ en / Traditional / help

Beats Biblionetz - Texte

Formal Methods

Never Too Young to Start
J Paul Gibson
Diese Seite wurde seit 3 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

In many countries around the world, there is a crisis in the teaching of mathematics and computer science. Governments have tried to address the problem by investing in computers in schools; when they should have invested in teaching computer science in schools. Formal methods bridge the boundary between computing and mathematics in a natural way. Through our experience of teaching algorithmic thinking in schools, young children have been observed using concepts such as refinement, proof, abstraction, complexity, non- determinism, equivalence, etc. . . in their own reasoning about problems. We argue that this ability needs to be better leveraged in order to improve both the teaching of mathematics but also to improve childrens' understanding of computer science as a discipline in its own right. We give concrete examples of the type of formal methods teaching that succeeds.
Von J Paul Gibson im Konferenz-Band Formal Methods in Computer Science Education (2008) im Text Formal Methods

iconDieses Konferenz-Paper erwähnt ...


Personen
KB IB clear
Jerome S. Bruner, Howard Gardner, Seymour Papert, G. Polya

Begriffe
KB IB clear
Informatikcomputer science, Informatik in der Primarschule, Informatik-Didaktikdidactics of computer science, Informatik-Unterricht (Fachinformatik)Computer Science Education, Informatikunterricht in der Schule, Primarschule (1-6) / Grundschule (1-4)primary school, Programmierenprogramming, Schuleschool
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1945 local Schule des Denkens (G. Polya) 4, 5, 3, 1, 6, 5, 10, 11, 6, 7, 3, 417341246
1966 local Towards a theory of instruction (Jerome S. Bruner) 32, 19, 14, 11, 8, 19, 11, 16, 12, 10, 6, 8314381740
1982 local web Mindstorms (Seymour Papert) 35, 39, 35, 23, 22, 28, 26, 27, 22, 22, 13, 72414575437
1983 local Frames Of Mind (Howard Gardner) 11, 20, 11, 12, 11, 11, 20, 13, 10, 7, 2, 9282293889

iconDieses Konferenz-Paper  erwähnt vermutlich nicht ... Eine statistisch erstelle Liste von nicht erwähnten (oder zumindest nicht erfassten) Begriffen, die aufgrund der erwähnten Begriffe eine hohe Wahrscheinlichkeit aufweisen, erwähnt zu werden.

icon
Nicht erwähnte Begriffe
LehrerIn, Unterricht

iconTagcloud

iconZitationsgraph

Diese Grafik ist nur im SVG-Format verfügbar. Dieses Format wird vom verwendeteten Browser offenbar nicht unterstützt.

Diese Grafik fensterfüllend anzeigen (SVG)

iconAnderswo suchen  Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.