/ en / Traditional / help

Beats Biblionetz - Personen

David Harel

Dies ist keine offizielle Homepage von David Harel, E-Mails an David Harel sind hier nicht möglich!
This is not an official homepage of David Harel and it is not possible to contact David Harel here!

Diese Seite wurde seit mehr als 7 Monaten inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconBücher von David Harel Hier finden Sie alle Bücher der gewählten Person, die im Biblionetz vorhanden sind.

Buchcover

Algorithmics

The Spirits of Computing

(David Harel) (1987) local 
Buchcover

Das Affenpuzzle

und weitere bad news aus der Computerwelt

Computers Ltd.

What they really can't do

(David Harel) (2000)  local 

iconTexte von David Harel Hier finden Sie Texte der gewählten Person, die nicht in den oben aufgelisteten Büchern zu finden sind.

Jahr Volltext Abrufe Text Texttyp
1998 local web  1, 4, 1, 3, 2, 2, 8, 6, 2, 1, 5, 4 What (else) should CS educators know? ( Personenreihenfolge alphabetisch und evtl. nicht korrekt Judith Gal-Ezer, David Harel) erschienen in CACM 41/9 S. 77-84Journal-Artikel
1999 local web  Curriculum and Course Syllabi for a High-School CS Program (Judith Gal-Ezer, David Harel)
erschienen in Computer Science Education 2/1999 (Seite 114 - 147)
Journal-Artikel
2013 local web  On teaching programming with nondeterminism (Giora Alexandron, Michal Armoni, Michal Gordon, David Harel)
erschienen in Proceedings of the 8th Workshop in Primary and Secondary Computing Education, WiPSCE '13, Aarhus, Denmark, November 11-13, 2013 (Seite 71 - 74)
Konferenz-Paper

iconDefinitionen von David Harel

Von David Harel gibt es im Biblionetz insgesamt 5 Definitionen zu den Begriffen Church-Turing-These, Halteproblem, NP, NP-complete, P (PTIME)

iconBemerkungen von David Harel

Von David Harel gibt es im Biblionetz Bemerkungen zu:


Texte
KB IB clear
Curriculum and Course Syllabi for a High-School CS Program, Manchmal ist es zu teuer, Manchmal können wir es nicht, On teaching programming with nondeterminism, Schmerzlindernde Mittel

Fragen
KB IB clear
Können Computer denken?Can computers think?
P=NP ?

Begriffe
KB IB clear
Halteproblem, Parallelrechner, Quantencomputer, Traveling Salesman ProblemTraveling Salesman Problem, Turing-Maschineturing machine

iconZeitleiste

iconCoautorInnen

Giora Alexandron, Michal Armoni, Judith Gal-Ezer, Michal Gordon

iconZitationsnetz  Dies ist eine graphische Darstellung von im Biblionetz erfassten Zitationen und Co-Autorschaften.

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

Diese SVG-Grafik fensterfüllend anzeigen

iconBegriffswolke von David Harel


Begriffswolke
APH KB IB clear
Algorithmusalgorithm, BerechenbarkeitComputability, Bewusstseinconsciousness, Chatbotchat bot, Church-Turing-These, Compiler, Computercomputer, deadlockdeadlock, Deduktion, Determinismusdeterminism, divide and conquerdivide and conquer, DNS, Effizienz, ElizaEliza, Entscheidungsproblem, Expertensystemexpert system, Fehlererror, Gehirnbrain, Gödelsches Theorem, Halteproblem, Hardwarehardware, Informatikcomputer science, Informatik-Didaktikdidactics of computer science, Informatik-Unterricht (Fachinformatik)Computer Science Education, Informatikunterricht in der Schule, Intelligenzintelligence, Intuition, Knapsack-ProblemKnapsack-Problem, Komplexitätcomplexity, Komplexitätstheorie, Kryptographiecryptography, Künstliche Intelligenz (KI / AI)artificial intelligence, Lambda-Kalkül, Las-Vegas-Algorithmen, Lernenlearning, Mathematikmathematics, Molekularcomputer, Monte-Carlo-Algorithmen, Naturwissenschaftnatural sciences, Netzwerknetwork, Neuronales Netzneural network, NP, NP-completeNP-complete, Optimierung, P (PTIME), Parallelrechner, Physikphysics, Planung, Primzahlen, Programmierenprogramming, Programmiersprachenprogramming languages, Public Key Kryptographie, Quantencomputer, Quantenmechanik, Raum / Ortspace / place, Rekursionrecursion, Semantiksemantics, Simulation, Softwaresoftware, Spielgame, Sprachelanguage, Symbolmanipulation, Theorietheory, Traveling Salesman ProblemTraveling Salesman Problem, Turing-Maschineturing machine, Turing-Testturing test, Unentscheidbarkeitundecideability, Verifikation, Wissen, Zahlennumber, Zeittime, Zufall,

iconVorträge von Beat mit Bezug

  • Informatik in der Volksschule: Was - Warum - Wie?
    Einstiegsvortrag Kaderkurs "Informatische Bildung" der OSKIN
    PH Zug, 14.01.2015
  • Medien, Informatik und Anwendungskompetenzen
    Informatik im Lehrplan 21: Situierung und Umsetzungsideen
    Workshop der kantonalen ICT-Center, PHBern, 25.08.2015
  • Informatik in der Schule - Ja, aber wie?

    1. Tag des Informatikunterrichts, Universität Saarbrücken, 06.03.2019
  • Informatische Bildung / Schulische Bildung - Was wird diskutiert?
    FabLab meets Bildung - Eine digitale Ringveranstaltung
    Universität Bremen, 16.03.2021

iconZitationsgraph

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

Diese SVG-Grafik fensterfüllend anzeigen

icon11 Erwähnungen  Dies ist eine nach Erscheinungsjahr geordnete Liste aller im Biblionetz vorhandenen Werke, welche die gewählte Person oder ihre Werke erwähnen.

iconVolltexte

Auf dem WWW On teaching programming with nondeterminism: Fulltext at the ACM Digital Library (lokal: PDF, 153 kByte; WWW: Link OK 2020-11-28)
Auf dem WWW What (else) should CS educators know?: Full text as PDF (lokal: PDF, 205 kByte; WWW: Link OK 2020-11-28)
Algorithmics: Gesamtes Buch als Volltext (deutsch) (lokal: PDF, 24320 kByte)
Algorithmics: Gesamtes Buch als Volltext (englisch) (lokal: PDF, 6044 kByte)
Das Affenpuzzle: Gesamtes Buch als Volltext (lokal: PDF, 3650 kByte)
Auf dem WWW Curriculum and Course Syllabi for a High-School CS Program: Artikel als Volltext (lokal: PDF, 89 kByte; WWW: Link OK 2020-11-28)

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.