/ en / Traditional / help

Beats Biblionetz - Texte

Prädikatenkalkül

Zu finden in: The New Turing Omnibus (Seite 412 bis 421), 2001  local web 
Erste Seite des Textes (PDF-Thumbnail)
Diese Seite wurde seit 3 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

A. K. Dewdney

Der Prädikatenkalkül ist eine der mächtigsten Sprachen, die man kennt, um mathematische Ideen und Gedanken ausdrücken zu können. Er hat die Informatik sowohl direkt durch die Entwicklung von Computersprachen wie PROLOG als auch indirekt durch von ihm abhängende Berechenbarkeitstheorien beeinflußt.

Von A. K. Dewdney im Buch The New Turing Omnibus (2001) im Text Prädikatenkalkül

iconDieses Kapitel erwähnt ...


Begriffe
KB IB clear
BerechenbarkeitComputability , Computercomputer , Informatikcomputer science , Sprachelanguage , Theorietheory

iconDieses Kapitel 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.

iconAnderswo finden

icon

iconVolltext dieses Dokuments

Auf dem WWW Prädikatenkalkül: Artikel als Volltext bei Springerlink (lokal: PDF, 1108 kByte; WWW: Link OK )

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 dieses Kapitel

Beat hat Dieses Kapitel während seiner Zeit am Institut für Medien und Schule (IMS) ins Biblionetz aufgenommen. Er hat Dieses Kapitel einmalig erfasst und bisher nicht mehr bearbeitet. Beat besitzt kein physisches, aber ein digitales Exemplar. Eine digitale Version ist auf dem Internet verfügbar (s.o.). Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben. Es gibt bisher auch 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.