Informaticateorica
Giorgio Ausiello
Con l'espressione informaticateorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] via. Lo studio dei principi matematici che sono alla base di tali concetti è dunque un obiettivo basilare dell'informaticateorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene ...
Leggi Tutto
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, [...] . Negli ultimi anni sono emerse nuove possibilità di supporto degli strumenti informatici in campo scientifico (v. computazionali, metodi; fisica: Calcolatori nella fisica teorica, e simulazione, in questa Appendice) e umanistico (v. beni culturali ...
Leggi Tutto
Fisico e informatico italiano (n. Napoli 1936). Conseguita la laurea in Fisica, ha sviluppato un grande interesse per la cibernetica e nel 1970 ha concluso il dottorato in Computer and Communication Sciences [...] straordinario presso la Facoltà di Scienze Matematiche, Fisiche e Naturali dell’Università di Palermo, T. insegna Informaticateorica e Calcolabilità e complessità all’Università Federico II di Napoli. Accanto agli impegni didattici ha portato avanti ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] maggior parte degli esperti sospettano - è un problema aperto di notevole importanza (per molti, il problema aperto dell'informaticateorica). Molti sforzi sono stati dedicati alla soluzione di questo problema fin dall'introduzione del concetto di NP ...
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. [...] parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti i campi dell'informaticateorica. Il volume B contiene capitoli di rassegna sugli automi finiti, parole infinite, grammatiche context-free, computabilità, ecc ...
Leggi Tutto
ricorsione
Mauro Cappelli
Metodo per definire funzioni in modo tale che la funzione includa sé stessa nella propria definizione. Si tratta di una tecnica di programmazione molto potente e molto sfruttata [...] l’uso in una vasta serie di applicazioni, come la valutazione di funzioni matematiche, la gestione di dati strutturati ad albero, la creazione di oggetti frattali, gli algoritmi di ordinamento.
→ Informaticateorica; Programmazione, linguaggi di ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] Paul Erdös sui grafi casuali (random graphs), che introducono metodi probabilistici nello studio dei grafi e hanno trovato interessanti applicazioni anche nella teoria dei modelli.
→ Informaticateorica; Logica matematica; Matematica: problemi aperti ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] se per un problema non esiste una macchina di Turing in grado di risolverlo allora il problema si dice incomputabile o irrisolvibile.
→ Complessità algoritmica; Informaticateorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
Leggi Tutto
motore di ricerca
Mauro Cappelli
Sistema automatico (web search engine) contenente un indice ricercabile di pagine web e dati di varia natura che fornisce all’utente una lista dei contenuti disponibili [...] , Magelan, Excite, Altavista, Netscape e Yahoo!. Intorno al 2000 compare Google, che ha rivoluzionato il mondo dei motori di ricerca grazie al suo innovativo algoritmo iterativo chiamato PageRank.
→ Computer. Calcolo parallelo; Informaticateorica ...
Leggi Tutto
linguaggio Java
Mauro Cappelli
Linguaggio di programmazione orientato agli oggetti sviluppato nel 1995 alla Sun Microsystems sulla base del linguaggio C++. Nei primi anni Novanta la Sun incaricò un [...] Sun Microsystems, è stato rilasciato nel 2006 sotto licenza GPL. Il rilascio sotto licenza GPL anche delle librerie proprietarie ha reso il linguaggio liberamente implementabile. Oggi tutti i browser sono compatibili con Java.
→ Informaticateorica ...
Leggi Tutto
complessita
complessità s. f. [der. di complesso1]. – 1. L’esser complesso (nelle varie accezioni dei sign. 1 e 2 di quest’agg.): c. di una questione, di un ragionamento, di una costruzione teorica; c. di un atto giuridico; esaminare una situazione...
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...