Theoretische Informatik function

1

Programmiersprachen mit kanonischen Funktionen

Gibt es (funktionale?) Programmiersprachen, in denen alle Funktionen eine kanonische Form haben? Das heißt, zwei beliebige Funktionen, die für alle Eingaben die gleichen Werte zurückgeben, werden auf die gleiche Weise dargestellt, z. B. wenn f (x) x + 1 und g (x) x + 2 zurückgibt, dann f (f (x) …

29 computability pl.programming-languages functional-programming function

1

Warum war Schönfinkels Arbeit, „gebundene Variablen“ in der Logik zu eliminieren, so entscheidend?

AFAIK, Der erste Beweis für die Verwendung von Funktionen höherer Ordnung geht auf Schönfinkels Arbeit von 1924 zurück: "Auf den Bausteinen der mathematischen Logik" - wo man Funktionen als Argumente an andere Funktionen übergeben durfte. Das scheint interessant zu sein. Jedoch scheint alles, was ich über seine Arbeit gelesen habe …

15 lo.logic soft-question ho.history-overview intuition function

1

Universelle Funktionsapproximation

Über den universellen Approximationssatz ist bekannt, dass ein neuronales Netzwerk mit nur einer einzigen verborgenen Schicht und einer willkürlichen Aktivierungsfunktion jede kontinuierliche Funktion approximieren kann. Welche anderen Modelle gibt es, die auch universelle Funktionsapproximatoren sind

15 machine-learning function approximation

Als «function» getaggte Fragen