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. [...] 1982, 2002, 2003) ha lo scopo di fornire dei manuali nel campo della combinatoria delle parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti i campi dell'informatica teorica. Il volume B contiene capitoli di rassegna ...
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, [...] da tale tendenza. Vi sono però un paio di aspetti che riguardano la combinatoria in modo particolare. I programmi per i computer e i linguaggi di programmazione hanno subito una grande evoluzione, e ora un oggetto algebrico (per es., un gruppo) o uno ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematica negli Stati Uniti
Joseph W. Dauben
La matematica negli Stati Uniti
La matematica all'inizio del secolo
All'inizio del XX sec. [...] contribuì alla soluzione del problema dei quattro colori, fornendo un'importante idea che condusse nel 1976 alla dimostrazione tramite computer di Appel e Haken, ma dimostrò anche l''ultimo teorema' di Poincaré nel 1912 ‒ anno in cui lasciò Princeton ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] di ordine 10 con un programma che ha girato per molti anni (suddiviso in vari casi: per quelli difficili un computer Cray lavorava in background, per i più facili si usava un microcomputer).
Nella direzione opposta, l’informatica è stata una ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] informatica teorica è stato coniata in Francia agli inizi degli anni Settanta, contemporaneamente alla sua versione anglosassone (theoretical computer science). L'uso di tali termini si è consolidato a seguito della creazione di associazioni (come la ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] una di queste è vera. Osserva Matijaèeviã che la dimostrazione di Appel e Haken è una "dimostrazione fatta da un computer per computer", non è controllabile cioè da un essere umano. Anche se una "dimostrazione fatta da esseri umani per esseri umani ...
Leggi Tutto
Notizia, dato o elemento che consente di avere conoscenza più o meno esatta di fatti, situazioni, modi di essere. In senso più generale, anche la trasmissione dei dati e l’insieme delle strutture che la [...] traduzione italiana di information technology, utilizzata comunemente per indicare l’insieme di tutte le tecnologie relative allo hardware dei computer, al software, alla creazione di reti e in genere a tutto ciò che riguarda il digitale. È in genere ...
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, [...] direttamente da Y. La complessità H(X) di una teoria assiomatica formale con insieme dei teoremi X è definita anch'essa usando il computer U. H(X) è definita come la lunghezza in bit del più breve programma che fa sì che U generi l'insieme di teoremi ...
Leggi Tutto
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] grande influenza su alcuni aspetti centrali dell'uso sociale della scienza: ha contribuito allo sviluppo dei moderni computer e ha partecipato attivamente al progetto di costruzione della bomba atomica e al successivo sviluppo del programma militare ...
Leggi Tutto
Il c. delle v. è quell'area della matematica definita dal seguente problema: determinare, in una famiglia assegnata di oggetti, quello che rende minima (oppure massima) una certa grandezza. Gli oggetti [...] con un certo grado di approssimazione. Questo problema è stato affrontato in modo sistematico soltanto con l'avvento dei computer nella seconda metà del 20° sec.; tuttavia il ruolo e la portata dell'innovazione tecnologica vanno precisati, nel senso ...
Leggi Tutto
computer
‹këmpi̯ùtë› s. ingl. [der. di (to) compute «calcolare»] (pl. computers ‹këmpi̯ùtë∫›), usato in ital. al masch. (e pronunciato comunem. ‹kompi̯ùter›). – Denominazione inglese, largamente nota nell’uso internazionale, del calcolatore...
computer indossabile
loc. s.le m. Personal computer di dimensioni molto ridotte, tascabile, indossabile. ◆ Vestirsi di tecnologia o di bellezza? Un convegno sul tema del corpo. Due giorni di convegno, alla Triennale, analizzano il tema del...