/ en / Traditional / help

Beats Biblionetz - Bücher

Theory of Computation as a Vehicle for Teaching Fundamental Concepts of Computer Science

Thesis 15035, ETH Zürich, D-INFK, May 2003
Buchcover
Diese Seite wurde seit 3 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

Raimond ReichertIn der heutigen Informationsgesellschaft sind Kenntnisse der Grundlagen von Informations- und Kommunikationstechnologien (ICT) eine Schlüsselqualifikation und müssen Teil der Allgemeinbildung werden. Zentrale Themen der Informatik sind die Konzepte der Formalisierung sowie des Programmierens. Das Unterrichten dieser Konzepte als Teil der Allgemeinbildung ist eine anspruchsvolle Herausforderung. Existierende Ansätze sind typischerweise zeitaufwendig, obwohl Zeit in Schulen eine knappe Resource ist. Es gibt einen Bedarf für intuitive, benutzerfreundliche, qualitativ hochstehende Lernumgebungen als Unterst ützung für das Lehren und Lernen der Grundlagen von ICT im Rahmen der zur Verfügung stehenden Zeit.
Unser Ansatz verwendet die theoretische Informatik als Mittel zum Zweck, um ausgewählte Grundlagen der Informatik zu unterrichten. Die Hauptbeiträge dieser Dissertation sind die Kara-Lernumgebungen, die in diesem Text beschrieben sind. Ein Ziel der Umgebungen ist es, den Benutzern zu ermöglichen, innerhalb einer Stunde ihr erstes Programm erfolgreich schreiben können. Die Umgebungen basieren auf endlichen Automaten und umfassen:
  1. Eine Einführung in die Programmierung, die sich an Leute ohne Programmiererfahrung richtet (die Kara-Umgebung).
  2. Eine Einführung in die theoretische Informatik anhand von zweidimensionalen Turing Maschinen für Studierende, die sich mit der Theorie der Berechenbarkeit auseinander setzen (die TuringKara-Umgebung).
  3. Einen Ansatz zum Unterrichten grundlegender Konzepte der nebenläufigen Programmierung in einer anschaulichen Art undWeise, der auf verschiedenen Stufen eingesetzt werden kann (MultiKara).
  4. Einen reibungslosen übergang zum Programmieren mit Java für Leute, die mit Java oder ähnlichen Sprachen nicht vertraut sind (JavaKara).
Die grosse Verbreitung der Kara-Umgebungen an vielen Schulen auf unterschiedlichen Stufen und das sehr positive Feedback von Lehrenden und Lernenden haben uns überzeugt, dass der Theorie-basierte Ansatz von Kara erfolgreich ist und dass es sich lohnt, diesen Ansatz weiter zu verfolgen.
Von Raimond Reichert in der Dissertation Theory of Computation as a Vehicle for Teaching Fundamental Concepts of Computer Science (2003)

iconKapitel  Unter den anklickbaren Kapiteln finden Sie Informationen über einzelne Teile des gewählten Werks.

  • 1. ICT: A Challenge for the Information Society
  • 2. Theory of Computation as a Vehicle for Teaching Programming
  • 3. Kara - Introduction to Programming for Beginners
  • 4. TuringKara - Two-Domensional Turing Machines
  • 5. MultiKara - Introduction to Concurrent Programming
  • 6. JavaKara
  • 7. Experience and Evaluation

iconDiese Doktorarbeit erwähnt ...


Personen
KB IB clear
Kent Beck, Mordechai Ben-Ari, Joseph Bergin, B. S. Bloom, Dietrich Boles, Benedict du Boulay, Valentin Braitenberg, Rodney Brooks, Jerome S. Bruner, Peter Brusilovsky, Eduardo Calabrese, D. E. Comer, Allen Cypher, Peter Denning, A. K. Dewdney, Edsger W. Dijkstra, Erich Gamma, David Gries, Mark Guzdial, Werner Hartmann, Richard Helm, Jozef Hvorecky, Ralph Johnson, Ken Kahn, Anatoly Kouchnirenko, Bertrand Meyer, Philip Miller, John Monk, Michael C. Mulder, Jürg Nievergelt, Tim O'Shea, Seymour Papert, Richard E. Pattis, Jef Raskin, Raimond Reichert, Jim Roberts, David Canfield Smith, Elliot Soloway, Jim Spohrer, Mark Stehlik, Allen Tucker, Alan Turing, A. Joe Turner, John Vlissides, Niklaus Wirth, Paul R. Young

Fragen
KB IB clear
Welche Ausbildung wird in der Informationsgesellschaft benötigt?

Begriffe
KB IB clear
Algorithmusalgorithm, Alice.org, Allgemeinbildunggeneral education, Church-Turing-These, computer literacycomputer literacy, Fundamentale Ideen, Fundamentale Ideen der Informatik, ICTICT, Informatik-Unterricht (Fachinformatik)Computer Science Education, Interaktivitätinteractivity, Java, Kara, Konstruktionismusconstructionism, Lernenlearning, Lernsoftware, LOGO (Programmiersprache)LOGO (programming language), Programmierenprogramming, Programmiersprachenprogramming languages, Roboterrobot, Taxonomien von Bloom, Theorietheory, Turing-Maschineturing machine, UsabilityUsability, Visualisierungvisualization
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1956  Taxonomy of educational objectives (B. S. Bloom) 12, 13, 9, 7, 13, 18, 7, 10, 10, 10, 12, 41072542819
1960 local The Process of Education (Jerome S. Bruner) 17, 12, 8, 12, 9, 17, 12, 17, 7, 1, 4, 6731662504
1972  Systematisches Programmieren (Niklaus Wirth) 6, 5, 3, 7, 5, 11, 13, 10, 11, 1, 3, 3121033516
1981Karel the Robot (Richard E. Pattis) 8, 9, 7, 7, 8, 11, 11, 7, 4, 6, 4, 32133512
1982 local web Mindstorms (Seymour Papert) 35, 39, 35, 23, 22, 28, 26, 27, 22, 22, 13, 72414575437
1984Vehicles (Valentin Braitenberg) 10, 6, 6, 9, 5, 13, 12, 6, 6, 3, 5, 224221209
1988  local Studying the Novice Programmer (Elliot Soloway, Jim Spohrer) 10, 13, 3, 10, 5, 15, 10, 8, 11, 6, 4, 551455253
1989The Turing Omnibus (A. K. Dewdney) 8000
1990  Principles of Concurrent and Distributed Programming (Mordechai Ben-Ari) 5, 4, 4, 5, 5, 9, 11, 12, 6, 7, 4, 2362406
1995  local Design Patterns (Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides) 17, 17, 17, 31, 7, 19, 8, 9, 17, 9, 7, 6431364144
1996Karel++ (Joseph Bergin, Mark Stehlik, Jim Roberts, Richard E. Pattis) 4, 8, 1, 6, 3, 3, 4, 9, 9, 4, 2, 3553387
1997Object-oriented software construction 2nd Ed. (Bertrand Meyer) 11, 13, 10, 10, 7, 8, 12, 19, 11, 5, 3, 4644907
1999  local extreme Programming explained (Kent Beck) 6, 4, 2, 3, 7, 6, 12, 4, 6, 7, 6, 4181541064
1999 local Programmieren spielend gelernt (Dietrich Boles) 6, 6, 6, 7, 6, 12, 11, 10, 8, 4, 3, 2952742
2000  The Humane Interface (Jef Raskin) 5, 7, 6, 4, 7, 16, 8, 6, 8, 1, 7, 29102911
icon
Texte
Jahr  Umschlag Titel Abrufe IBOBKBLB
1936On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 6, 7, 5, 11, 6, 10, 10, 11, 12, 4, 7, 746372400
1981 local The black box inside the glass box (Benedict du Boulay, Tim O'Shea, John Monk) 12, 13, 5, 11, 4, 15, 9, 9, 11, 8, 9, 10161410450
1989 local On the cruelty of really teaching computing science (Edsger W. Dijkstra) 8, 9, 5, 10, 5, 11, 8, 4, 7, 2, 3, 2191022007
1989 local web Computing as a Discipline (Peter Denning, D. E. Comer, David Gries, Michael C. Mulder, Allen Tucker, A. Joe Turner, Paul R. Young) 6, 8, 6, 6, 2, 7, 7, 7, 8, 1, 3, 22172218
1991 local web Intelligence without representation (Rodney Brooks) 3, 8, 4, 5, 3, 4, 16, 11, 12, 11, 3, 611126909
1994 local web KidSim (David Canfield Smith, Allen Cypher, Jim Spohrer) 2, 3, 1, 5, 3, 3, 2, 4, 6, 6, 2, 41234281
1995 local web ToonTalk (Ken Kahn) 7600
1995 local web Welchen Wert haben theoretische Grundlagen für die Berufspraxis? (Jürg Nievergelt) 13, 9, 8, 8, 5, 7, 18, 11, 9, 5, 1, 41484634
1997 local web Mini-languages (Peter Brusilovsky, Eduardo Calabrese, Jozef Hvorecky, Anatoly Kouchnirenko, Philip Miller) 9, 5, 3, 7, 4, 16, 13, 10, 9, 3, 1, 311123482
1999  local web Roboter programmieren - ein Kinderspiel (Jürg Nievergelt) 7, 9, 7, 11, 5, 13, 11, 9, 9, 11, 9, 482542787
2000 local web Ein spielerischer Einstieg in die Programmierung mit Java (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 7, 13, 4, 6, 8, 9, 12, 10, 11, 2, 8, 311631477
2001 local web Programming in schools - why, and how? (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 16, 13, 17, 15, 7, 18, 15, 13, 18, 9, 9, 832281142
2001 local web Kara, finite state machines, and the case for programming as part of general education (Werner Hartmann, Jürg Nievergelt, Raimond Reichert) 1, 7, 4, 6, 2, 6, 9, 10, 9, 3, 10, 34153661
2002 local web Teaching the Nintendo Generation to Program (Mark Guzdial, Elliot Soloway) 4, 2, 4, 4, 4, 4, 5, 11, 11, 7, 4, 616661367
2002 local web Informatik und Bildung zwischen Wandel und Beständigkeit (Werner Hartmann, Jürg Nievergelt) 17, 26, 17, 4, 13, 11, 15, 14, 16, 12, 9, 151759153715

iconDiese Doktorarbeit  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.

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)

iconZeitleiste

iconErwähnungen  Dies ist eine nach Erscheinungsjahr geordnete Liste aller im Biblionetz vorhandenen Werke, die das ausgewählte Thema behandeln.

iconCo-zitierte Bücher

Buchcover

Exorciser

Automatic Generation and Interactive Grading of Structured Exercises in the Theory of Computation

(Vincent Tscherter) (2004)  local web 

iconVolltext dieses Dokuments

iconStandorte  Eine Liste von Orten, wo das Objekt physisch vorhanden ist.

Beat ( 06.07.2003), Werner

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.

iconBeat und Diese Doktorarbeit

Beat war Co-Leiter des ICT-Kompetenzzentrums TOP während er Diese Doktorarbeit ins Biblionetz aufgenommen hat. Die bisher letzte Bearbeitung erfolgte während seiner Zeit am Institut für Medien und Schule. Beat besitzt ein physisches und ein digitales Exemplar. Eine digitale Version ist auf dem Internet verfügbar (s.o.). Es gibt bisher nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

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.