PrädikatenkalkülZu finden in: The New Turing Omnibus (Seite 412 bis 421), 2001
|
|
Zusammenfassungen
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.
Dieses Kapitel erwähnt ...
Begriffe KB IB clear | BerechenbarkeitComputability , Computercomputer , Informatikcomputer science , Sprachelanguage , Theorietheory |
Dieses Kapitel erwähnt vermutlich nicht ...
Nicht erwähnte Begriffe | Informatik-Didaktik, Informatik-Unterricht (Fachinformatik) |
Anderswo finden
Volltext dieses Dokuments
Prädikatenkalkül: Artikel als Volltext bei Springerlink (: , 1108 kByte; : ) |
Anderswo suchen
Beat 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.