Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] 'intervallo di un secondo, casi di dimensione n+10 e il vantaggio conseguito sarà quindi marginale.
Iniziatori dellateoriadellacomplessitàcomputazionale, a metà degli anni Sessanta, si possono considerare J. Hartmanis, H. Stearns e H.R. Lewis, i ...
Leggi Tutto
Paola Moscati
– L’acquisizione dei dati sul campo. L’analisi e l’elaborazione dei dati. Archeologia e società contemporanea. Bibliografia
Settore della ricerca archeologica che promuove la rappresentazione formalizzata della conoscenza, avvalendosi dei metodi e delle tecniche dell’informatica per acquisire, ... ...
Leggi Tutto
informatica disciplina nella quale si affronta lo studio dell’informazione nei suoi principi generali (→ automa; → calcolabilità; → cibernetica; → informazione, teoria dell’) e nei suoi aspetti particolari, legati all’elaborazione automatica e alla trasmissione della informazione (→ hardware, → software), ... ...
Leggi Tutto
Insieme delle aziende che fabbricano calcolatori e di quelle che si dedicano alla produzione di apparecchiature e software destinati a organizzare e gestire un flusso di informazioni in senso ampio. L’industria i. nacque a metà del 1900, con la commercializzazione dei primi esemplari di elaboratori. ... ...
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. Il termine i. deriva dal fr. informatique (composto di INFORMATion e automatIQUE, «informazione automatica») ... ...
Leggi Tutto
Mauro Orlandi
I progressi nelle tecniche di memorizzazione e manipolazione artificiale di dati in forma elettronica non lasciano indifferente il mondo del diritto. Secondo un criterio qualitativo di rilevanza si possono isolare due grandi spazi: lo spazio della disciplina giuridica 'estrinseca' delle ... ...
Leggi Tutto
Nicola Nosengo
La scienza del calcolo automatico
L'informatica è la disciplina che studia sistemi per elaborare automaticamente le informazioni. Sistemi quindi che, a partire da una serie di regole predefinite e di dati che vengono immessi in entrata, siano in grado di arrivare attraverso vari passi ... ...
Leggi Tutto
informàtica [Der. del fr. informatique, comp. di informat(ion) (automat)ique "informazione automatica"] [INF] La scienza dell'informazione, disciplina di recente formazione che s'occupa della raccolta e del trattamento, in partic. del-l'elaborazione automatica, delle informazioni, nelle varie forme ... ...
Leggi Tutto
Guido Martinotti
Introduzione
Il termine 'informatica', entrato ormai nell'uso quotidiano della lingua italiana, è di origine francese, circostanza che spiega, forse, la sua scarsa diffusione nella comunità linguistica anglosassone. Coniato nel 1962 dall'ingegnere Philippe Dreyfus, per composizione ... ...
Leggi Tutto
Paolo Ercoli
(App. IV, II, p. 189)
Dalla metà degli anni Settanta alla fine degli Ottanta si è assistito non soltanto all'ingresso degli elaboratori in tante attività e nei più diversi luoghi delle società avanzate, ma anche a un consolidamento dell'i. e delle sue applicazioni in forma disciplinare ... ...
Leggi Tutto
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. 2. Notazione. 3. Automi finiti. 4. Automi a pila. 5. La macchina di Turing. 6. Decidibilità e indecidibilità. 7. ... ...
Leggi Tutto
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni di oggetti concreti o astratti, di fenomeni, di processi, di fatti, di idee, ecc. e delle operazioni eseguibili ... ...
Leggi Tutto
Luigi Dadda
Peter J. Denning
di Luigi Dadda, Peter J. Denning
INFORMATICA
Informatica ed elettronica dei calcolatori
di Luigi Dadda
sommario: 1. Introduzione. 2. Evoluzione storica degli elaboratori: a) Fno a circa il 1940. b) Dal 1940 al 1950. c) Dal 1950. 3. Concetti introduttivi all'informatica. ... ...
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 [...] diofantea abbia soluzioni.
La complessitàcomputazionale
Se la teoriadella calcolabilità trascura deliberatamente l’analisi delle risorse che sono necessarie a un calcolo, la teoriadellacomplessitàcomputazionale si occupa invece degli algoritmi ...
Leggi Tutto
In matematica applicata, e in particolare nella teoriadelle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] di questi risultati sono la modellazione degli algoritmi di simulate annealing come catene di Markov e la teoriadellacomplessitàcomputazionale sviluppata per gli algoritmi di ricerca locale, che hanno permesso di studiare in modo più approfondito ...
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 [...] 'inclusione di P in QP sia o meno stretta è uno dei tanti problemi aperti che costellano la teoriadellacomplessitàcomputazionale.
Calcolo molecolare
Il paradigma di calcolo chiamato calcolo molecolare (o anche DNA computing) è stato introdotto in ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] questa divaricazione si è attenuata: nella recente teoriadellacomplessitàcomputazionale si esaminano molti classici problemi dell’analisi numerica con gli strumenti dell’algebra, e lo studio della difficoltà di calcolo di una funzione richiede ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] il → lambda-calcolo, la → programmazione logica e la teoriadella → complessitàcomputazionale.
La logica lineare elimina le due regole strutturali della contrazione e dell’indebolimento che caratterizzano la logica classica nella sua formulazione ...
Leggi Tutto
Wigderson
Wigderson Avi (Haifa 1956) matematico israeliano. Nel 1983, ha conseguito il dottorato di ricerca presso la Princeton University, dove insegna. È un’autorità riconosciuta nei diversi campi [...] scienze informatiche teoriche. Il suo principale campo di ricerca è la teoriadellacomplessitàcomputazionale, in cui ha dato importanti contributi per i quali ha ottenuto, nel 1994, il Premio Nevanlinna. Si è occupato anche di crittografia, reti ...
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, [...] equivalenti dal punto di vista computazionale a quello della soddisfattibilità: esistono cioè algoritmi teorica anche queste stringhe non sono accettate, tuttavia la teoriadellacomplessità esclude questo caso limitando lo studio alle macchine di ...
Leggi Tutto
computazionale, economia
Giorgio Fagiolo
Nella sua accezione più ampia, la pratica di utilizzare estensivamente tecniche c. nella ricerca economica sia di carattere teorico (per es., sviluppo e analisi [...] modelli econometrici o statistici con dati empirici).
Il successo dell’economia computazionale
L’economia c. ha avuto un crescente successo, dagli alle tradizionali tecniche analitiche).
La teoriadellacomplessità
Dagli anni 1990, l’economia ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] aspetto particolarmente interessante della c. computazionale è la valutazione dellateoriadelle catastrofi. All’aumentare dell’ordine n del sistema e quindi delle dimensioni del suo vettore di stato emergono fenomeni di caratteristiche più complesse ...
Leggi Tutto