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, [...] e proprie teorie scientifiche, dotate di complessi apparati concettuali, di tecniche di analisi, di strumenti deduttivi logico-formali, di risultati fondamentali, di applicazioni. Nell'impossibilità di fornire, in questa sede, un quadro così ampio ...
Leggi Tutto
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] restringendo i loro obiettivi. Inizialmente, infatti, si è affrontato il problema della riproduzione dei ragionamenti di tipo logico-formale, ossia quelli che possono essere descritti e sviluppati all'interno di un sistema preciso e definito di ...
Leggi Tutto
(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 [...] , il bit, fisicamente corrisponde a un sistema (per es., un atomo) con due soli stati distinti rappresentati formalmente dai due valori logici 1 e 0, il bit quantistico, o qbit, possiede proprietà molto diverse: in meccanica quantistica, infatti, lo ...
Leggi Tutto
TELEMATICA
Aldo Roveri
Il termine ''telematica'' è un neologismo francese nato verso la fine degli anni Settanta per sottolineare, con un acronimo delle parole telecomunicazioni e informatica, quegli [...] 'accesso al servizio [(N)-SAP, Service Access Point], che rappresentano le interfacce logiche tra le (N)-entità e le (N+1)-entità. Una (N+1 , con la modellistica OSI, gli organismi di normalizzazione formali (ISO e ITU-T) hanno puntato a definire un ...
Leggi Tutto
Progettazione
Livio Sacchi e Roberto de Rubertis
Parte introduttiva
di Livio Sacchi
Si intende per progettazione l'ideazione di qualcosa e lo studio delle effettive possibilità e modalità di realizzazione [...] più o meno immediato e più o meno schematico, l'idea formale o di fermare l'idea stessa in un appunto mnemonico; può computer impone un metodo di lavoro pianificato, organico e logicamente connesso, nel quale le soluzioni dei problemi rientrano in ...
Leggi Tutto
Informatica umanistica
Giovanni Adamo
Tullio Gregory
Parte introduttiva
di Giovanni Adamo
L'espressione informatica umanistica è stata coniata all'inizio degli anni Novanta sul modello di locuzioni [...] di strumenti logici e tecnologici potenti e precisi, ricevono stimolo e impulso per rendere coerenti e formali i loro metodi aiuta a mettere in evidenza con tutto il suo rigore formale: cos'è un testo. Senza entrare nelle molteplici definizioni ...
Leggi Tutto
Rispetto a tutto ciò che la c. prometteva negli anni Quaranta e Cinquanta, gli sviluppi realizzati in seguito da questa nuova scienza risultano in parte superiori e in parte inferiori all'aspettativa.
I [...] le possibilità offerte in veste di modelli materiali o formali dai nuovi strumenti della scienza e della tecnica, della costruzione di strumenti per la biomedicina, s'inserisce nella logica della medicina c. con la quale collabora, in uno con ...
Leggi Tutto
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: [...] un tipo di dato al quale viene associata una specifica formale che include l'insieme delle operazioni a esso applicabili. un ricco insieme di strutture di controllo per definire la logica secondo la quale l'algoritmo evolve (per esempio i concetti ...
Leggi Tutto
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 [...] al funzionamento (m. alternativa, rotante, statica, ecc.). ◆ [INF] Con uso estensivo, il termine indica sistemi formali di tipo logico suscettibili di essere concretizzati in meccanismi o (oggi più spesso) in circuiti elettrici o elettronici anch ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] stimolo di indizio i' l'output g(t), che nel formalismo discreto indicheremo con gi, si può scrivere come
formula [31] abbiamo già visto, unità semplici di questo tipo possono valutare solo funzioni logiche semplici, come X AND y, X OR y, e NOT x. ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...