Anderes Wort für Logik höherer Stufe?
Synonym für Logik höherer Stufe?
Schreibweise Logik höherer Stufe?
Folgende Synonyme für Logik höherer Stufe sind uns bekannt
🙁 Es wurden keine Synonyme für Logik höherer Stufe gefunden.
Diese Wörter könnten Sie auch interessieren
Schreibweise
Logik höherer Stufe
Das Wort vorlesen lassen:Erklärung für Logik höherer Stufe
Unter Logik höherer Stufe (englisch Higher-Order Logic, HOL), auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Sie basiert auf dem typisierten Lambda-Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück.
Entwickelt um 1940 als ein Versuch der Formalisierung der Logik in der Principia Mathematica von Whitehead und Russell, ist sie von Leon Henkin und Peter Andrews eingehend untersucht worden. Anfang der 1970er Jahre wurden nicht-klassische Versionen der Logik höherer Stufe entwickelt, die die Grundlage der modernen Typtheorie (Per Martin-Löf, Jean-Yves Girard) und Beweistheorie (Jean-Yves Girard, Gérard Huet, Robert Harper, Furio Honsell) bilden.
Da die Logik höherer Stufe sowohl mächtig als auch relativ einfach auf einem Computer zu implementieren ist, wurden in letzter Zeit einige Theorembeweiser hierfür entwickelt, die gleichermaßen für die Mathematik als auch für die Informatik von Interesse sind.
Quelle: wikipedia.org
Logik höherer Stufe als Bild teilen
Du möchtest andere auf die richtige Schreibweise von Logik höherer Stufe hinweisen? Hier kannst du passende Bilder zu "Logik höherer Stufe" direkt auf Social Media teilen. Klicke dazu einfach bei dem jeweiligen Bild auf und wähle die gewünschte Variante bzw. Social Media Plattform aus.