Informatique théorique function

1

Langages de programmation avec fonctions canoniques

Existe-t-il des langages de programmation (fonctionnels?) Où toutes les fonctions ont une forme canonique? C'est-à-dire que deux fonctions qui renvoient les mêmes valeurs pour tout l'ensemble d'entrée sont représentées de la même manière, par exemple si f (x) a renvoyé x + 1, et g (x) a renvoyé x + …

29 computability pl.programming-languages functional-programming function

1

Pourquoi le travail de Schönfinkel sur l'élimination des «variables liées» dans la logique était-il si crucial?

AFAIK, La première preuve de l'utilisation de fonctions d'ordre supérieur remonte à l'article de Schönfinkel de 1924: "Sur les blocs de construction de la logique mathématique" - où il permettait à quelqu'un de passer des fonctions comme arguments à d'autres fonctions. Cela semble intéressant. Cependant, tout ce que j'ai lu …

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

1

Approximation de la fonction universelle

Il est connu via le théorème d'approximation universel qu'un réseau neuronal avec même une seule couche cachée et une fonction d'activation arbitraire peut approximer n'importe quelle fonction continue. Quels sont les autres modèles qui sont également des approximateurs de fonctions universelles

15 machine-learning function approximation

Questions marquées «function»