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 programmazionefunzionale sostituiscono il classico modo di scrivere gli algoritmi attraverso le istruzioni perché i valori non ...
Leggi Tutto
programmazioneprogrammazione 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 programmazionefunzionale usa come struttura principale la funzione (→ funzione, in un ...
Leggi Tutto
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
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 programmazionefunzionale, il LISP, incorporando le idee del λ-calcolo, quest’ultimo ha acquisito un peso crescente presso la comunità ...
Leggi Tutto
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 programmazionefunzionale, il LISP. Da ricordare anche l’importante contributo di Ch. alla semantica logica, sviluppo originale della teoria di ...
Leggi Tutto
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 programmazionefunzionale.
Attenzione però! Se vogliamo unificare il nostro approccio (e in realtà a questo punto dobbiamo farlo), il ...
Leggi Tutto
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 programmazionefunzionale e non un linguaggio imperativo, ovvero strutturato intorno a un insieme di istruzioni pensate come ordini impartiti a una macchina ...
Leggi Tutto
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 programmazionefunzionale. Come il lambda-calcolo, anche la logica combinatoria ha degli elementi di base, detti termini; dato un ...
Leggi Tutto
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 programmazionefunzionale, alla realizzazione di modelli di intelligenza artificiale. Il lisp si basa sul concetto di ...
Leggi Tutto
LISP
LISP [ELT] [INF] Sigla dell'ingl. LISt Processor "processore a lista" per indicare il capostipite dei linguaggi di programmazionefunzionale: v. linguaggi di programmazione: III 427 e. ...
Leggi Tutto
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,...
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,...