l'accesso più veloce di browser!
14 relazioni: Applicazione parziale, Curry (informatica), David Hilbert, Gottinga, Haskell (linguaggio), Lambda calcolo, Logica matematica, Paradosso di Curry, Pennsylvania, Programmazione funzionale, Università della Pennsylvania, Università di Amsterdam, Università di Harvard, Università di Princeton.
Applicazione parziale
In matematica e informatica si definisce applicazione parziale di una funzione l'applicazione di una funzione a una parte dei suoi argomenti.
Nuovo!!: Haskell Curry e Applicazione parziale · Mostra di più »
Curry (informatica)
Curry è un linguaggio di programmazione logico-funzionale derivato da Haskell e tuttora in fase di standardizzazione.
Nuovo!!: Haskell Curry e Curry (informatica) · Mostra di più »
David Hilbert
È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo.
Nuovo!!: Haskell Curry e David Hilbert · Mostra di più »
Gottinga
Gottinga (AFI:; in tedesco Göttingen,, in basso tedesco Chöttingen) è una città della Bassa Sassonia, in Germania, è capoluogo del circondario omonimo.
Nuovo!!: Haskell Curry e Gottinga · Mostra di più »
Haskell (linguaggio)
Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.
Nuovo!!: Haskell Curry e Haskell (linguaggio) · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Haskell Curry e Lambda calcolo · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Haskell Curry e Logica matematica · Mostra di più »
Paradosso di Curry
Il paradosso di Curry è un paradosso della teoria ingenua degli insiemi, e deve il suo nome al logico e matematico statunitense Haskell Curry che lo pubblicò nel 1942.
Nuovo!!: Haskell Curry e Paradosso di Curry · Mostra di più »
Pennsylvania
La Pennsylvania (AFI: o; in inglese), ufficialmente Commonwealth di Pennsylvania, in italiano Pensilvania, è uno Stato federato degli Stati Uniti d'America, nonché uno dei quattro Commonwealth della federazione.
Nuovo!!: Haskell Curry e Pennsylvania · Mostra di più »
Programmazione funzionale
In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.
Nuovo!!: Haskell Curry e Programmazione funzionale · Mostra di più »
Università della Pennsylvania
L'Università della Pennsylvania (comunemente denominata Penn o UPenn), situata a Filadelfia, è una delle più antiche ed importanti università negli Stati Uniti.
Nuovo!!: Haskell Curry e Università della Pennsylvania · Mostra di più »
Università di Amsterdam
Università di Amsterdam (in olandese Universiteit van Amsterdam), è una delle due università della città di Amsterdam.
Nuovo!!: Haskell Curry e Università di Amsterdam · Mostra di più »
Università di Harvard
L'Università Harvard (in inglese: Harvard University) è un'università privata statunitense situata a Cambridge, nel Massachusetts, nell'area metropolitana della città di Boston.
Nuovo!!: Haskell Curry e Università di Harvard · Mostra di più »
Università di Princeton
L'Università di Princeton, situata a Princeton nel New Jersey (Stati Uniti), è una delle maggiori università della Ivy League ed è riconosciuta come una delle più prestigiose università nel mondo.
Nuovo!!: Haskell Curry e Università di Princeton · Mostra di più »
