La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] relativa a una opportuna topologia derivata dall'ordine, detta topologia di Scott). La costruzione di Scott è alla base della semantica denotazionale dei linguaggidiprogrammazione.
L'algoritmo di Risch. Robert H. Risch presenta un algoritmo per il ...
Leggi Tutto
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. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] non è immune da tale tendenza. Vi sono però un paio di aspetti che riguardano la combinatoria in modo particolare. I programmi per i computer e i linguaggidiprogrammazione hanno subito una grande evoluzione, e ora un oggetto algebrico (per ...
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
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] linguaggidiprogrammazione messi a disposizione dal Sistema di Gestione.
Sistemi di Gestione di Basi di Dati
Ciò che permette la creazione, la gestione e l'utilizzo di basi di dati è un particolare software di base, che prende il nome di Sistema di ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ). Inoltre tale sottoinsieme è proprio, come risulta da quanto provato sul linguaggio {ai bi, i≥1}. Tra i linguaggi liberi si trovano i principali linguaggidiprogrammazione, per cui la teoria degli automi a pila riveste importanza fondamentale ...
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
Per lingua inventata si intende una lingua artificiale, provvista di proprie regole sintattiche (descritte o meno) e proprio lessico (inventariato o meno). Sono state inventate lingue artificiali per motivi [...] , 1899-1965) sia dei linguaggidiprogrammazione tramite i quali vengono istruiti i computer.
Dall’opera di Rabelais a quella di Swift, sino agli esiti novecenteschi di Joyce e Borges, l’invenzione di idiomi in linea di fatto inesistenti è un ...
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 [...] si occupa in generale dell’analisi di algoritmi fino a includere la struttura logica dei linguaggidiprogrammazione. Sebbene la nozione di calcolo o di algoritmo abbia alle proprie spalle più di due millenni di storia – basti pensare all’algoritmo ...
Leggi Tutto
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...
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;...