(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali.
Cenni storici
Le origini
Il desiderio di realizzare uno strumento in grado di compiere [...] nella definizione dellateoria dei servomeccanismi (H.L. Hazen, 1934) e con la presentazione di una metodologia per il progetto logico dei circuiti digitali (C. Shannon, 1937). Di fondamentale importanza nel campo dellacalcolabilità furono gli ...
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, [...] . Ciò, in parte, è dovuto a limitazioni intrinseche evidenziate dalla teoriadellecalcolabilità e consistenti nella indecidibilità di molti problemi di verifica delle proprietà di programmi (per es., la terminazione). Tuttavia, questa situazione ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] . Quindi la procedura effettiva è equivalente alla calcolabilità effettiva che è, a sua volta, equivalente alla funzione effettiva. Nella teoriadelle funzioni ricorsive viene definito il concetto di calcolabilità effettiva, e si tratta del risultato ...
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 [...] assunto, nel tempo, un ruolo particolarmente importante e costituiscono ormai capitoli ben definiti dell'informatica teorica: modelli di calcolo e calcolabilità, teoria degli automi e dei linguaggi formali, analisi e progetto di algoritmi e strutture ...
Leggi Tutto