• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
4 risultati
Tutti i risultati [46]
Informatica [4]
Matematica [11]
Fisica [7]
Biologia [6]
Antropologia fisica [5]
Fisica matematica [5]
Storia della fisica [4]
Astronomia [4]
Logica matematica [3]
Biochimica [3]

Informazione, scienza della

Enciclopedia del Novecento II Supplemento (1998)

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 ‛lambda calcolo' e nel linguaggio LISP. Attualmente, oltre al LISP, i linguaggi funzionali più diffusi sono Standard ML e Scheme ... Leggi Tutto
CATEGORIA: TEMI GENERALI – PROGRAMMAZIONE E PROGRAMMI – TECNOLOGIA RADIOFONICA E TELEVISIVA
TAGS: TECNOLOGIA DELL'INFORMAZIONE E DELLA COMUNICAZIONE – MULTIPLAZIONE A DIVISIONE DI FREQUENZA – INTERNATIONAL STANDARDS ORGANIZATION – MULTIPLAZIONE A DIVISIONE DI TEMPO – SATELLITI PER TELECOMUNICAZIONI
Mostra altri risultati Nascondi altri risultati su Informazione, scienza della (8)
Mostra Tutti

algoritmo

Enciclopedia on line

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
CATEGORIA: ALGEBRA – PROGRAMMAZIONE E PROGRAMMI
TAGS: MACCHINA DI TURING – FUNZIONE RICORSIVA – DETERMINISMO – INFORMATICA – MATEMATICA
Mostra altri risultati Nascondi altri risultati su algoritmo (6)
Mostra Tutti

Informatica

Enciclopedia Italiana - VI Appendice (2000)

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
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

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
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali