Informatica

Enciclopedia Italiana - VI Appendice (2000)

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, [...] . Un altro modello astratto frequentemente utilizzato negli studi di complessità computazionale è la macchina di Turing. Tale macchina dispone di una memoria interna con un numero finito di stati e di un nastro (memoria esterna) suddiviso in celle, e ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] : nel primo caso avevamo automi finiti ed espressioni razionali, nel secondo automi a pila e grammatiche. Macchine di Turing Una macchina di Turing opera mediante una memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

Complessità algoritmica

Enciclopedia della Scienza e della Tecnica (2007)

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, [...] minore o uguale S(n) e complessità in tempo minore o uguale T(n), dove l'iniziale D indica che la macchina di Turing risolvente è deterministica. Tutte le funzioni f(n) citate nel seguito sono per ipotesi funzioni calcolabili, cioè per ogni n esiste ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

Informazione, scienza della

Enciclopedia del Novecento II Supplemento (1998)

INFORMAZIONE, SCIENZA DELLA Roman Tirler Pierluigi Ridolfi Stefano Ceri e Alfonso Fuggetta Tecnologie della comunicazione di Roman Tirler Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] , ben sintetizzato nella famosa formulazione del problema proposta dal matematico Alan Turing, uno dei padri dell'informatica: una macchina avrà pienamente raggiunto lo scopo di simulare il comportamento umano solo se sarà impossibile, per un ... Leggi Tutto

CATEGORIA: TEMI GENERALI – PROGRAMMAZIONE E PROGRAMMI – TECNOLOGIA RADIOFONICA E TELEVISIVA

TAGS: TECNOLOGIA DELL'INFORMAZIONE E DELLA COMUNICAZIONE – MULTIPLAZIONE A DIVISIONE DI FREQUENZA – INTERNATIONAL STANDARDS ORGANIZATION – MULTIPLAZIONE A DIVISIONE DI TEMPO – SATELLITI PER TELECOMUNICAZIONI

La vita artificiale

Frontiere della Vita (1998)

La vita artificiale Thomas S. Ray (ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone) La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] , dovuti a un'esperienza limitata alla vita organica. Il test di Turing esemplifica questo problema. Si tratta di un metodo proposto da A. Turing per capire se una macchina è diventata intelligente. Tale test si basa sulla comunicazione, tramite ... Leggi Tutto

CATEGORIA: TEMI GENERALI – CIBERNETICA E INTELLIGENZA ARTIFICIALE – INFORMATICA APPLICATA

Matematica: problemi aperti

Enciclopedia della Scienza e della Tecnica (2007)

Matematica: problemi aperti Claudio Procesi Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] numero scritto in forma binaria e il linguaggio PRIMO è formato da tutte le stringhe che rappresentano numeri primi. Una macchina di Turing riconosce PRIMO se, dando come input una stringa, si ferma e la accetta soltanto se rappresenta un primo. Con ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: JOURNAL FÜR DIE REINE UND ANGEWANDTE MATHEMATIK – CONGETTURA DI BIRCH E SWINNERTON-DYER – INTERNATIONAL MATHEMATICAL UNION – METODO DI ELIMINAZIONE DI GAUSS – FUNZIONE DI VARIABILE COMPLESSA

macchina

Dizionario delle Scienze Fisiche (1996)

macchina màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f , quali i trasformatori e i raddrizzatori: v. macchine elettriche (anche per i vari tipi particolari non nominati ... Leggi Tutto

CATEGORIA: BIOFISICA – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI PLASMI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA – MECCANICA QUANTISTICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – STATISTICA E CALCOLO DELLE PROBABILITA

La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo

Storia della Scienza (2004)

La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo Jon Agar L'elettronica e il calcolo Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] in una macchina commerciale denominata Ferranti Mark I. Installata alla Manchester University, essa fu utilizzata per ricerche matematiche e scientifiche da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse ... Leggi Tutto

CATEGORIA: ELABORATORI – PROGRAMMAZIONE E PROGRAMMI – TEMI GENERALI – ELETTRONICA

La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo

Storia della Scienza (2004)

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' [...] verso la metà degli anni Trenta del XX sec., Turing aveva descritto una macchina immaginaria, oggi nota come la macchina universale di Turing, che in seguito avrebbe mostrato di essere equivalente nella logica al calcolatore a programma memorizzato ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ELETTRONICA