INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] possono essere composte tra di loro e richiamarsi ricorsivamente. Le radici di questo approccio sono da ricercarsi nel ‛lambdacalcolo' e nel linguaggio LISP. Attualmente, oltre al LISP, i linguaggi funzionali più diffusi sono Standard ML e Scheme ...
Leggi Tutto
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] definizione delle funzioni mediante l’operatore di astrazione lambda e i sistemi di combinatori di H.B. . Dall’altro si cerca di caratterizzare in modo astratto il procedimento di calcolo. Si hanno in questo modo la teoria delle macchine di A. Turing ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] seguente modo:
V sceglie a caso i in {1,2} e una permutazione π;
calcola H=π(Gi);
fornisce H a P e chiede a P un indice j in {1 -New York 1982, pp. 348-59.
H.P. Barendregt, The lambda calculus, its syntax and semantics, Amsterdam-New York 1984.
E.C. ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] Q ed N ▷β Q.
Si è già detto che il λ−calcolo costituisce una modellizzazione dei procedimenti di computo a un più alto livello Tourlakis, Computability, Reston 1984; H.P. Barendregt, The lambda calculus, its syntax and semantics, Amsterdam 1984; H. ...
Leggi Tutto