/ 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
Diese Seite wurde seit 1 Jahr 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.

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, 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) 2, 4, 2, 3, 4, 3, 2, 3, 1, 5, 6, 128420122511
1960The Process of Education (Jerome S. Bruner) 2, 3, 3, 4, 4, 7, 5, 6, 2, 3, 4, 8611582176
1972  Systematisches Programmieren (Niklaus Wirth) 2, 4, 1, 1, 3, 1, 2, 2, 2, 1, 3, 4121043330
1981Karel the Robot (Richard E. Pattis) 1, 2, 1, 2, 1, 1, 1, 1, 2, 1, 2, 61836316
1982    Mindstorms (Seymour Papert) 10, 4, 6, 12, 11, 14, 16, 6, 24, 6, 17, 3420045344582
1984Vehicles (Valentin Braitenberg) 9, 27, 8, 11, 6, 15, 3, 8, 13, 17, 14, 2023220965
1989The Turing Omnibus (A. K. Dewdney) 8000
1990  Principles of Concurrent and Distributed Programming (Mordechai Ben-Ari) 1, 4, 2, 1, 1, 1, 1, 1, 1, 1, 3, 4164262
1995    Design Patterns (Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides) 5, 1, 1, 2, 2, 1, 2, 5, 3, 3, 3, 4421343808
1996Karel++ (Joseph Bergin, Mark Stehlik, Jim Roberts, Richard E. Pattis) 1, 2, 2, 2, 1, 1, 3, 2, 1, 2, 3, 8758260
1997Object-oriented software construction 2nd Ed. (Bertrand Meyer) 3, 3, 4, 1, 3, 2, 2, 2, 2, 1, 2, 4744704
1999    extreme Programming explained (Kent Beck) 3, 6, 1, 2, 1, 1, 2, 4, 1, 3, 2, 617156892
1999   Programmieren spielend gelernt (Dietrich Boles) 3, 1, 2, 3, 1, 2, 1, 2, 2, 3, 3, 41054552
2000  The Humane Interface (Jef Raskin) 5, 1, 1, 1, 2, 1, 1, 2, 3, 1, 3, 810108740
icon
Texte
Jahr UmschlagTitelAbrufeIBOBKBLB
1936On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 2, 3, 3, 2, 4, 1, 3, 3, 2, 2, 2, 635362172
1981The black box inside the glass box (Benedict du Boulay, Tim O'Shea, John Monk) 6, 2, 3, 1, 1, 1, 2, 2, 1, 1, 2, 4844254
1989   On the cruelty of really teaching computing science (Edsger W. Dijkstra) 2, 4, 4, 2, 1, 1, 2, 4, 2, 2, 3, 415941844
1989    Computing as a Discipline (Peter Denning, D. E. Comer, David Gries, Michael C. Mulder, Allen Tucker, A. Joe Turner, Paul R. Young) 6, 2, 1, 1, 3, 2, 1, 2, 1, 3, 2, 6145672
1991    Intelligence without representation (Rodney Brooks) 1, 5, 3, 1, 1, 1, 1, 1, 1, 2, 2, 612126753
1994    KidSim (David Canfield Smith, Allen Cypher, Jim Spohrer) 1, 2, 3, 1, 1, 2, 2, 1, 1, 1, 2, 41134179
1995    ToonTalk (Ken Kahn) 5600
1995    Welchen Wert haben theoretische Grundlagen für die Berufspraxis? (Jürg Nievergelt) 1, 2, 1, 3, 2, 1, 2, 1, 1, 2, 2, 41584437
1997    Mini-languages (Peter Brusilovsky, Eduardo Calabrese, Jozef Hvorecky, Anatoly Kouchnirenko, Philip Miller) 3, 3, 1, 2, 2, 3, 3, 1, 2, 2, 2, 812128311
1999     Roboter programmieren - ein Kinderspiel (Jürg Nievergelt) 1, 3, 1, 2, 3, 3, 2, 1, 3, 5, 2, 12925122583
2000    Ein spielerischer Einstieg in die Programmierung mit Java (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 1, 1, 1, 2, 1, 4, 3, 1, 1, 2, 2, 811681273
2001    Programming in schools - why, and how? (Raimond Reichert, Jürg Nievergelt, Werner Hartmann) 3, 1, 1, 4, 1, 5, 3, 2, 3, 1, 3, 1042110792
2001    Kara, finite state machines, and the case for programming as part of general education (Werner Hartmann, Jürg Nievergelt, Raimond Reichert) 1, 1, 2, 1, 2, 2, 3, 4, 1, 2, 5, 1051510486
2002    Teaching the Nintendo Generation to Program (Mark Guzdial, Elliot Soloway) 1, 2, 3, 1, 1, 1, 3, 1, 2, 1, 4, 10195101171
2002    Informatik und Bildung zwischen Wandel und Beständigkeit (Werner Hartmann, Jürg Nievergelt) 5, 7, 24, 64, 40, 33, 32, 24, 16, 34, 115, 361657362672

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

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconZitationsgraph

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

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)     

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.

Verweise auf Diese Doktorarbeit 6222
Verweise von dieser Dissertation 472110451
Webzugriffe auf Diese Doktorarbeit 
200320042005200620072008200920102011201220132014201520162017