• 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
vocabolario
488 risultati
Tutti i risultati [488]
Diritto [101]
Economia [72]
Temi generali [55]
Medicina [53]
Arti visive [32]
Matematica [34]
Informatica [32]
Diritto amministrativo [36]
Biologia [32]
Storia [27]

linguaggio funzionale

Enciclopedia della Matematica (2013)

linguaggio funzionale linguaggio funzionale particolare tipo di → linguaggio di programmazione dotato di un paradigma di programmazione che si richiama al concetto di funzione, sia come definizione sia [...] una sequenza imperativa di comandi da eseguire e modificano a ogni passo lo stato del programma stesso. I modelli di programmazione funzionale sostituiscono il classico modo di scrivere gli algoritmi attraverso le istruzioni perché i valori non ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – PROGRAMMAZIONE FUNZIONALE – ALGORITMI – LISP
Mostra altri risultati Nascondi altri risultati su linguaggio funzionale (1)
Mostra Tutti

programmazione

Enciclopedia della Matematica (2013)

programmazione programmazione insieme delle operazioni (→ programma) necessarie a istruire un automa esecutore; per questo scopo l’uomo interagisce con la macchina attraverso un opportuno linguaggio [...] quali è sviluppato in maniera autonoma prima di essere inserito nel programma finale; da questo tipo di programmazione discende la → programmazione a oggetti; • la programmazione funzionale usa come struttura principale la funzione (→ funzione, in un ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – PROGRAMMAZIONE PROCEDURALE – PROGRAMMAZIONE STRUTTURATA – PROGRAMMAZIONE FUNZIONALE – PROGRAMMAZIONE A OGGETTI

informatica

Enciclopedia on line

Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] complessi e di tecnologie, gli aspetti di tipo funzionale e di sistema diventano sempre più legati ai flussi di fasi successive. Si avviava la fase caratterizzata dallo sviluppo dei programmi di gestione di banche e basi di dati, destinati ad assumere ... Leggi Tutto
CATEGORIA: ELABORATORI – INTERNET
TAGS: MUSICAL INSTRUMENT DIGITAL INTERFACE – CODICE DI PROCEDURA PENALE ITALIANO – LINGUAGGI DI PROGRAMMAZIONE – STATISTICA MULTIVARIATA – SECONDA GUERRA MONDIALE
Mostra altri risultati Nascondi altri risultati su informatica (12)
Mostra Tutti

L’informatica teorica

Storia della civiltà europea a cura di Umberto Eco (2014)

Giorgio Strano Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] evitando di dimostrarlo. Da quando, alla fine degli anni Cinquanta, John McCarthy ha ideato il primo linguaggio di programmazione funzionale, il LISP, incorporando le idee del λ-calcolo, quest’ultimo ha acquisito un peso crescente presso la comunità ... Leggi Tutto

Church, Alonzo

Dizionario di filosofia (2009)

Church, Alonzo Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] , le questioni di teoria dei tipi e il λ-calcolo, un calcolo di funzioni alla base del primo linguaggio di programmazione funzionale, il LISP. Da ricordare anche l’importante contributo di Ch. alla semantica logica, sviluppo originale della teoria di ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – FUNZIONI RICORSIVE – CALCOLO MECCANICO – TEORIA DEI TIPI – COMBINATORIA
Mostra altri risultati Nascondi altri risultati su Church, Alonzo (3)
Mostra Tutti

INFORMATICA: SALTO NEL VUOTO?

XXI Secolo (2010)

Informatica: salto nel vuoto? Corrado Böhm Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] d’approccio alla soluzione di tutti gli interrogativi posti nella prima parte. Sembra giusto chiamare tale approccio programmazione funzionale. Attenzione però! Se vogliamo unificare il nostro approccio (e in realtà a questo punto dobbiamo farlo), il ... Leggi Tutto

Fondamenti della matematicae teoria algoritmica dell'informazione

Enciclopedia della Scienza e della Tecnica (2007)

Fondamenti della matematica e teoria algoritmica dell'informazione Gregory J. Chaitin Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] , e quel che fa è dare in uscita un valore. In altre parole, il LISP è un linguaggio di programmazione funzionale e non un linguaggio imperativo, ovvero strutturato intorno a un insieme di istruzioni pensate come ordini impartiti a una macchina ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA

logica combinatoria

Enciclopedia della Matematica (2013)

logica combinatoria logica combinatoria locuzione utilizzata in due diverse accezioni: • per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] esempio il → lambda-calcolo, e trova notevoli applicazioni in informatica teorica essendo la base di alcuni linguaggi di programmazione funzionale. Come il lambda-calcolo, anche la logica combinatoria ha degli elementi di base, detti termini; dato un ... Leggi Tutto
TAGS: TEORIA DELLA → DIMOSTRAZIONE – LINGUAGGI DI PROGRAMMAZIONE – PROGRAMMAZIONE FUNZIONALE – LOGICA INTUIZIONISTA – INFORMATICA TEORICA

LISP

Enciclopedia della Matematica (2013)

LISP LISP sigla (dall’inglese List Processing) con cui si indica un linguaggio di programmazione introdotto per consentire un’agevole elaborazione di liste di dati simbolici. È stato il primo linguaggio [...] ed è attualmente considerato un linguaggio adatto alla manipolazione simbolica di formule matematiche, all’implementazione della programmazione funzionale, alla realizzazione di modelli di intelligenza artificiale. Il lisp si basa sul concetto di ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – PROGRAMMAZIONE FUNZIONALE – INTELLIGENZA ARTIFICIALE – LINGUAGGIO FORMALE – CODICE SORGENTE
Mostra altri risultati Nascondi altri risultati su LISP (1)
Mostra Tutti

LISP

Dizionario delle Scienze Fisiche (1996)

LISP LISP [ELT] [INF] Sigla dell'ingl. LISt Processor "processore a lista" per indicare il capostipite dei linguaggi di programmazione funzionale: v. linguaggi di programmazione: III 427 e. ... Leggi Tutto
CATEGORIA: TEMI GENERALI – ELETTRONICA
1 2 3 4 5 6 7 8 ... 49
Vocabolario
unità
unita unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...
segménto
segmento segménto s. m. [dal lat. segmentum «taglio, striscia», der. di secare «tagliare»]. – 1. In geometria, parte di retta compresa fra due punti, detti estremi del s.; lunghezza di un s., la distanza fra i due estremi; s. consecutivi,...
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