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 [...] Babbage, 1835: → calcolatrice. L'uso più astratto del termine ricorre, nell'informatica, in varie locuz., quali, per es.: (a) m. formali (o controllato) e i meccanismi del cervello umano (apprendimento, memoria, soluzione di problemi, ecc.) o, più in ...
Leggi Tutto
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di rappresentazione dei diversi e quindi occupanti uno spazio variabile di memoria nei sistemi di elaborazione elettronica; in tale rappresentazione ...
Leggi Tutto
Segno di punteggiatura (,) che indica pausa debole all’interno del periodo. informatica In informatica e nei sistemi di codificazione numerica, la rappresentazione in v. mobile (floating point) è un metodo [...] con la notazione esponenziale), in modo che numeri di diverso ordine di grandezza vengano a occupare tutti lo stesso spazio di memoria, definito dal numero prefissato di cifre di x e y; si contrappone alla rappresentazione in v. fissa (fixed point ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] , mentre quello dei registri della macchina a registri illimitati è (potenzialmente) infinito;
2) le singole locazioni di memoria di un calcolatore possono contenere solo numeri di grandezza limitata, mentre ciascun registro della macchina a registri ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] assomigliano a 'palle di neve sporche', composte da ghiacci e polveri.
La memoria a nucleo di ferrite. Il dispositivo, ideato dall'informatico An Wang, della Columbia University, contribuirà molto allo sviluppo degli eleboratori elettronici fino ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] intermedi di un calcolo sono normalmente nascosti nella memoria della macchina e sconosciuti al programmatore, cosa che anche per un'affinità di progetti dell'analisi numerica e dell'informatica nelle prime fasi del loro sviluppo nel XX sec., dovuta ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] alla invarianza rispetto al tempo del comportamento ingresso-uscita); a memoria finita o infinita, in relazione a eventuali limitazioni nella dipendenza ingegnere dei sistemi sono quelle dell’informatica, delle telecomunicazioni e dell’elettronica, ...
Leggi Tutto
LOMBARDO RADICE, Lucio
Albertina Vittoria
Piervittorio Ceccherini
Nacque a Catania il 10 luglio 1916, da Giuseppe e da Gemma Harasim, terzogenito dopo Giuseppina e Laura.
Come lui stesso scrisse, i [...] alla teoria dei codici, alla crittografia e all'informatica - riguardano specificamente sia lo studio degli "archi" di A. Brigaglia, Caltanissetta 1985, ad ind.; L'unità della cultura: in memoria di L. L.R. Atti del Convegno, Roma… 1984, a cura di ...
Leggi Tutto
PIGNEDOLI, Antonio
Isabella Barbieri
PIGNEDOLI, Antonio. – Nacque a Correggio (Reggio nell’Emilia) il 23 luglio 1918 da Nino e da Maria Ballabeni.
Si laureò in fisica all’Università di Bologna il 20 [...] l’importanza dei calcolatori elettronici e dell’informatica e istituì negli anni Cinquanta il corso A. P., pp. 139-141; S. Graffi, A. P., pp. 143-153); Atti e Memorie dell’Accademia nazionale di scienze lettere e arti di Modena, s. 7, 1989-90, vol. 7 ...
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 [...] b. Il nastro funziona pertanto da input, da output e da memoria. La macchina è costituita da un numero finito k di stati o incomputabile o irrisolvibile.
→ Complessità algoritmica; Informatica teorica; Intelligenza artificiale; Sistemi chimico-fisici ...
Leggi Tutto
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...
virtuale
virtüale agg. [dal lat. mediev. (dei filosofi scolastici) virtualis, der. di virtus «virtù; facoltà; potenza»: v. virtù]. – 1. a. In filosofia, sinon. di potenziale, cioè «esistente in potenza» (contrapp. a attuale, reale, effettivo)....