Informatica teorica function

1

Linguaggi di programmazione con funzioni canoniche

Esistono linguaggi di programmazione (funzionali?) In cui tutte le funzioni hanno una forma canonica? Cioè, ogni due funzioni che restituiscono gli stessi valori per tutto l'insieme di input è rappresentata allo stesso modo, ad esempio se f (x) restituisce x + 1 e g (x) restituisce x + 2, quindi …

29 computability pl.programming-languages functional-programming function

1

Perché il lavoro di Schönfinkel sull'eliminazione delle "variabili legate" nella logica era così cruciale?

AFAIK, La prima prova dell'uso di funzioni di ordine superiore risale al documento di Schönfinkel del 1924: "Sui mattoni della logica matematica" - dove ha permesso di passare funzioni come argomenti ad altre funzioni. Sembra interessante. Tuttavia, tutto ciò che ho letto del suo lavoro (e di Curry per estensione) …

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

1

Approssimazione della funzione universale

È noto tramite il teorema di approssimazione universale che una rete neurale con persino un singolo strato nascosto e una funzione di attivazione arbitraria può approssimare qualsiasi funzione continua. Quali altri modelli ci sono anche approssimatori di funzioni universali

15 machine-learning function approximation

Domande taggate «function»