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
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