/ en / Traditional / mobile

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

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 UmschlagTitelAbrufeIBOBKBLB
1956  Taxonomy of educational objectives (B. S. Bloom) 5, 3, 6, 3, 3, 3, 5, 12, 8, 3, 5, 5902652608
1960The Process of Education (Jerome S. Bruner) 6, 2, 3, 2, 5, 5, 3, 10, 9, 6, 5, 4681542273
1972  Systematisches Programmieren (Niklaus Wirth) 4, 2, 1, 3, 1, 1, 1, 6, 3, 3, 4, 1131013371
1981Karel the Robot (Richard E. Pattis) 4, 2, 2, 1, 2, 3, 3, 1, 7, 5, 5, 21937367
1982    Mindstorms (Seymour Papert) 17, 26, 26, 26, 15, 15, 6, 14, 10, 8, 6, 1221445124885
1984Vehicles (Valentin Braitenberg) 2, 6, 5, 3, 1, 1, 17, 9, 5, 5, 2, 324231062
1988   Studying the Novice Programmer (Elliot Soloway, Jim Spohrer) 4, 3, 2, 1, 3, 1, 1, 2, 6, 6, 1, 11814694
1989The Turing Omnibus (A. K. Dewdney) 8000
1990  Principles of Concurrent and Distributed Programming (Mordechai Ben-Ari) 2, 1, 1, 3, 1, 1, 1, 4, 1, 1, 1, 2362297
1995    Design Patterns (Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides) 4, 3, 1, 3, 3, 3, 3, 8, 13, 7, 5, 5431353885
1996Karel++ (Joseph Bergin, Mark Stehlik, Jim Roberts, Richard E. Pattis) 3, 2, 2, 4, 3, 3, 2, 4, 1, 1, 1, 1751298
1997Object-oriented software construction 2nd Ed. (Bertrand Meyer) 4, 3, 1, 1, 2, 2, 2, 1, 4, 2, 1, 1741734
1999    extreme Programming explained (Kent Beck) 5, 5, 3, 2, 4, 4, 4, 6, 2, 3, 3, 117151956
1999   Programmieren spielend gelernt (Dietrich Boles) 2, 3, 2, 4, 5, 2, 2, 3, 6, 4, 1, 21256602
2000  The Humane Interface (Jef Raskin) 4, 3, 2, 1, 3, 3, 3, 7, 4, 2, 2, 110101787
icon
Texte
Jahr UmschlagTitelAbrufeIBOBKBLB
1936On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 5, 5, 4, 3, 1, 2, 2, 7, 6, 3, 5, 236322236
1981   The black box inside the glass box (Benedict du Boulay, Tim O'Shea, John Monk) 3, 3, 2, 3, 4, 4, 1, 4, 1, 1, 1, 113131291
1989   On the cruelty of really teaching computing science (Edsger W. Dijkstra) 1, 3, 3, 4, 4, 2, 1, 7, 7, 4, 1, 1161011882
1989    Computing as a Discipline (Peter Denning, D. E. Comer, David Gries, Michael C. Mulder, Allen Tucker, A. Joe Turner, Paul R. Young) 5, 3, 3, 2, 3, 3, 3, 4, 3, 2, 1, 11651111
1991    Intelligence without representation (Rodney Brooks) 4, 3, 4, 3, 1, 2, 1, 1, 2, 5, 3, 212125788
1994    KidSim (David Canfield Smith, Allen Cypher, Jim Spohrer) 3, 2, 2, 3, 1, 1, 1, 4, 2, 1, 1, 11131210
1995    ToonTalk (Ken Kahn) 5600
1995    Welchen Wert haben theoretische Grundlagen für die Berufspraxis? (Jürg Nievergelt) 3, 2, 3, 1, 1, 1, 2, 7, 4, 2, 4, 41584485
1997    Mini-languages (Peter Brusilovsky, Eduardo Calabrese, Jozef Hvorecky, Anatoly Kouchnirenko, Philip Miller) 4, 3, 2, 4, 2, 2, 2, 6, 5, 3, 1, 112121361
1999     Roboter programmieren - ein Kinderspiel (Jürg Nievergelt) 3, 2, 1, 2, 2, 2, 5, 7, 6, 5, 1, 1102512628
2000    Ein spielerischer Einstieg in die Programmierung mit Java (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 3, 2, 2, 1, 1, 1, 2, 8, 2, 6, 7, 111611327
2001    Programming in schools - why, and how? (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 5, 3, 2, 5, 2, 2, 1, 9, 1, 3, 2, 14221846
2001    Kara, finite state machines, and the case for programming as part of general education (Werner Hartmann, Jürg Nievergelt, Raimond Reichert) 5, 2, 3, 4, 3, 3, 2, 5, 1, 3, 5, 25152546
2002    Teaching the Nintendo Generation to Program (Mark Guzdial, Elliot Soloway) 3, 4, 2, 2, 4, 4, 4, 3, 2, 1, 2, 319631218
2002    Informatik und Bildung zwischen Wandel und Beständigkeit (Werner Hartmann, Jürg Nievergelt) 49, 78, 14, 37, 22, 22, 34, 19, 14, 11, 10, 121759123435

iconDiese Doktorarbeit erwähnt 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 fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

icon4 Erwä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)     

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.