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 [...] Neumann hanno ampliato l'approccio originario. Negli anni Sessanta, l'interesse dei linguisti è stato stimolato dai lavori di la formula è vera o falsa. Ne segue che il problemadi trovare un insieme di valori per i quali la formula è valida è in NP ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] dei vari sottoproblemi in cui viene scomposto il problemadi partenza, così da pervenire da uno stato iniziale La filosofia degli automi, a cura di V. Somenzi, R. Cordeschi, Torino 1994², pp. 167-93).
J. Von Neumann, The computer and the brain, New ...
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 [...] un problema con un determinato modello di calcolo. Classici modelli di calcolo utilizzati a tale scopo sono la RAM e la . La RAM (direttamente ispirata al modello strutturale dei normali calcolatori, detto modello di von Neumann, dal nome di uno ...
Leggi Tutto
Computer. Calcolo parallelo
Nicola Cabibbo
La conoscenza delle leggi che governano un dato fenomeno permette in linea di principio di prevederne lo sviluppo nel tempo, ma con i normali strumenti offerti [...] di supercalcolatore nasce negli anni Settanta del Novecento. Charles Babbage, Alan Turing e John von Neumann Ottanta da diversi costruttori americani. Per gran parte dei problemidi calcolo, la struttura ad albero è risultata meno efficiente delle ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] matematica fosse deducibile dagli assiomi).
Nel risolvere il misterioso problemadi Hilbert verso la metà degli anni Trenta del XX a sua volta il matematico di fama mondiale John von Neumann (1903-1957) in qualità di consulente del progetto. L'ENIAC ...
Leggi Tutto
Nel linguaggio scientifico, struttura relazionale formata da un insieme finito di oggetti detti nodi o vertici, e da un insieme di relazioni tra coppie di oggetti dette archi o spigoli. Per indicare un [...] metodo del simplesso per risolvere problemidi programmazione lineare, affrontò alcuni problemidi assegnamento su g.; nel 1944 J.L. von Neumann con O. Morgenstern pubblicò un trattato di teoria dei giochi utilizzando concetti di teoria dei g.; nel ...
Leggi Tutto
INTELLIGENZA ARTIFICIALE
Marco Somalvico
L'i.a. è una moderna disciplina sorta nell'ambito della scienza dei calcolatori e dell'informatica che negli anni recenti, specialmente per merito dell'avvento [...] di tematiche nelle quali essa si articola: al contrario essa si occupa diproblemidi ricerca aperti, di frontiera, che di costruiti gli elaboratori che, secondo il progetto di von Neumann, sono capaci di eseguire ogni programma che viene loro dato ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] . A questo proposito vanno ricordati i nomi di J. von Neumann, H. von Foerster, H. Atlan e I. Prigogine. Nella sua teoria degli automi auto-organizzatori von Neumann si è posto il problema della differenza tra macchine artificiali e 'macchine ...
Leggi Tutto
(v. calcolatrici, macchine, VIII, p. 352; App. I, p. 339; II, I, p. 482; III, I, p. 281; elaboratori elettronici, IV, I, p. 650)
La diffusione e lo sviluppo degli e. nell'arco di tempo che va dalla metà [...] multiprocessore, che però si scosta notevolmente dall'originario schema di von Neumann, e di cui si dirà oltre. Restando allo schema con virtuale consente anche di risolvere i problemidi riallocazione di operandi e di programmi di cui si era ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] molti di tali modelli di c., e in particolar modo il modello di von Neumann, siano ancora alla base di gran University, hanno dimostrato come l'approccio di Adleman possa essere esteso anche ad altre classi diproblemi.
Negli anni, l'interesse verso ...
Leggi Tutto