La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] , definite nel 1959, e riveste un'importanza fondamentale nella teoria della sintassi dei linguaggidiprogrammazione.
La scoperta della radiazione di sincrotrone della Nebulosa del Granchio. Misurando la polarizzazione della luce emessa da questa ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] tra utenti, facilitata dal computer. Il sistema operativo UNIX, e il suo linguaggiodiprogrammazione C, sviluppati insieme nei Bell Labs della Apple Computers a partire dal 1969, seguirono un approccio differente per raggiungere l'obiettivo ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] ad albero simili a quelle del Lisp (linguaggiodiprogrammazione interpretato, orientato allo studio della Intelligenza Artificiale, inventato presso il MlT di Boston). Le operazioni genetiche di mutazione e scambio possono verificarsi per ogni nodo ...
Leggi Tutto
Cognitivi, processi
Domenico Parisi
La psicologia cognitiva
Il termine 'cognitivo', benché derivato originariamente dal latino, è stato importato nella letteratura scientifica italiana dalla lingua [...] definiti in modo esplicito, dettagliato, e senza lasciare spazio all'intuizione, così come un programmadi calcolatore è scritto in un linguaggio formale (linguaggiodiprogrammazione) che deve poter essere 'compreso' da una macchina. Gli esperimenti ...
Leggi Tutto
Musica elettronica ed elettronica musicale
Lorenzo Seno
A partire dalla fine dell’Ottocento fino alla Seconda guerra mondiale, grazie alla diffusione dell’elettricità e dell’elettronica, fanno la loro [...] Windows e MacOS.
Un secondo gruppo adotta il paradigma del linguaggiodiprogrammazione. Oltre al già citato c-sound, SuperCollider, per Linux, Windows e MacOS, basato su di un linguaggio dinamico e su una architettura client-server.
Tra i pacchetti ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] pratiche delle nozioni e dei metodi che abbiamo descritto.
a) Compilatori. La possibilità di compilare in modo efficiente un linguaggiodiprogrammazionedi alto livello si può considerare uno dei grandi successi nella storia dell'informatica. Il ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] Emil Post. Parallelamente, e in modo apparentemente indipendente, lo stesso concetto è stato sviluppato dai primi inventori dei linguaggidiprogrammazione, in particolare da John W. Backus, che ha utilizzato la forma detta ora BNF (Backus-Naur form ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] tali funzioni come rappresentative dell'algoritmo prescelto indipendentemente dal particolare calcolatore o linguaggiodiprogrammazione impiegato.
Come per le macchina di Turing limiteremo lo studio alla funzione T(n), detta anche semplicemente ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] modo effettivo, per esempio considerando tutti i programmidi un linguaggiodiprogrammazione in ordine alfabetico. Si ottiene in questo modo una lista
[4] φ0, φ1, φ2…
di tutte le funzioni ricorsive parziali di un argomento. Tale lista è essa stessa ...
Leggi Tutto
L'analisi dell'attività sportiva attraverso strumenti informatici
Anna Ludovico
La rappresentazione computerizzata dei movimenti sportivi
Possiamo considerare l'anglismo ormai universale del termine [...] stadio le istruzioni date al computer sono in codici a notazione binaria (acceso/spento). Questo tipo dilinguaggiodiprogrammazione è molto difficile da usare direttamente, cosicché viene utilizzata una sua forma mediata, chiamata 'Assembler'. Il ...
Leggi Tutto
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...