/ en / Traditional / mobile

Beats Biblionetz - Texte

Der Begriff Berechnungsmodell

Zu finden in: Programmieren mit Kara, 2003  
Diese Seite wurde seit 14 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

Raimond ReichertJürg NievergeltWerner HartmannDie Lernumgebung Kara bietet nicht nur einen Einstieg in die Grundlagen von Algorithmen und Programmen, sondern auch eine intuitive Einführung des zentralen Begriffs "Berechnungsmodell". Welche Aufgaben kann Kara lösen, welche nicht? Kann Kara mehr Aufgaben lösen, wenn er Kleeblätter als Markierungen legen kann ? In diesem Kapitel beschäftigen wir uns deshalb mit Berechnungsmodellen und der Frage, wie Kara in der Hierarchie dieser Modelle einzuordnen ist.
Von Raimond Reichert, Jürg Nievergelt, Werner Hartmann im Buch Programmieren mit Kara (2003) im Text Der Begriff Berechnungsmodell auf Seite 51

iconDieser Text erwähnt...


Personen
KB IB clear
Alonzo Church, Alan Turing

Begriffe
KB IB clear
BerechenbarkeitComputability, Geometriegeometry, Kara, Komplexitätcomplexity, Lambda-Kalkül, Turing-Maschineturing machine

iconDieser Text 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.

icon
Nicht erwähnte Begriffe
Church-Turing-These, Halteproblem

iconTagcloud

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (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.

Verweise auf diesen Text 1
Verweise von diesem Text 8
Webzugriffe auf diesen Text 
200320042005200620072008200920102011201220132014201520162017