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. [...] Si tratta semplicemente di un controllo discreto dotato di una memoria finita. Il primo teorema in proposito è l'equivalenza tra può considerare uno dei grandi successi nella storia dell'informatica. Il primo compilatore Fortran fu scritto da Backus ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] analitica, inoltre, doveva possedere un magazzino (memoria) contenente sia i numeri non ancora elaborati dei fondamenti sia a livello delle applicazioni. Nel campo dei fondamenti dell'informatica l'IA tende a ricercare e a sviluppare le teorie di base ...
Leggi Tutto
La grande scienza. Scienza cognitiva
Domenico Parisi
Scienza cognitiva
Nella seconda metà del XX sec. le ricerche riguardanti il comportamento umano sono state effettuate in gran parte nell'ambito [...] costosi, ma le idee che sono alla base del computer e dell'informatica erano già state sviluppate da logici e matematici nei decenni precedenti. il suo contesto. Inoltre le grandi capacità di memoria e di calcolo del computer permettono di simulare ...
Leggi Tutto
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 [...] di un sistema: si tratta di un controllo discreto dotato di memoria finita. La sua prima trattazione esplicita risale a un lavoro di può considerare uno dei grandi successi nella storia dell'informatica. Da quando, negli anni Cinquanta del Novecento, ...
Leggi Tutto
Automazione industriale
Augusto Di Napoli
L’esigenza di aumento della produttività ha sempre stimolato la ricerca di soluzioni innovative per la regolazione dei movimenti degli organi mobili delle macchine [...] lo sviluppo dell’elettronica digitale e dell’informatica. Le macchine che possono essere così caratteristica risiede nel fatto che ha due data bus, uno connesso all’area di memoria dati (RAM) e l’altro all’area programma (ROM): ciò gli consente di ...
Leggi Tutto
L'analisi dell'attività sportiva attraverso strumenti informatici
Anna Ludovico
La rappresentazione computerizzata dei movimenti sportivi
Possiamo considerare l'anglismo ormai universale del termine [...] della posizione delle diverse articolazioni direttamente nella memoria del computer. Un programma adeguato produce il sollevamento pesi, la corsa, il golf.
Nei laboratori informatici del MIT (Massachusetts Institute of Technology) con il sistema ...
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
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 [...] Un’ulteriore insidia è quella dell’inefficienza di memoria (overhead), in quanto possono essere allocate variabili ad albero, la creazione di oggetti frattali, gli algoritmi di ordinamento.
→ Informatica teorica; Programmazione, linguaggi di ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] una gran varietà di dati: immagini, suoni, sequenze di caratteri, numeri, e così via, ma tutti questi dati sono rappresentati in memoria come sequenze di 0 e di 1. La sequenza 01000001 può rappresentare, per esempio, il numero intero 65, la lettera A ...
Leggi Tutto
Botanica
Tessuti di p. Il tessuto epidermico e il sugheroso, perché proteggono i tessuti interni da possibili offese dell’ambiente esterno, sia fisico sia biologico.
Diritto
P. diplomatica
Istituto di [...] in deroga all’art. 35 del d. legisl. 165/2001.
Informatica
Accorgimento volto a evitare la modifica, la copia, il danneggiamento o . b) P. degli archivi (directories) residenti sulle memorie permanenti della macchina: anche qui si tratta di evitare ...
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)....