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, [...] la proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
Paola Moscati
– L’acquisizione dei dati sul campo. L’analisi e l’elaborazione dei dati. Archeologia e società contemporanea. Bibliografia
Settore della ricerca archeologica che promuove la rappresentazione formalizzata della conoscenza, avvalendosi dei metodi e delle tecniche dell’informatica per acquisire, ... ...
Leggi Tutto
informatica disciplina nella quale si affronta lo studio dell’informazione nei suoi principi generali (→ automa; → calcolabilità; → cibernetica; → informazione, teoria dell’) e nei suoi aspetti particolari, legati all’elaborazione automatica e alla trasmissione della informazione (→ hardware, → software), ... ...
Leggi Tutto
Insieme delle aziende che fabbricano calcolatori e di quelle che si dedicano alla produzione di apparecchiature e software destinati a organizzare e gestire un flusso di informazioni in senso ampio. L’industria i. nacque a metà del 1900, con la commercializzazione dei primi esemplari di elaboratori. ... ...
Leggi Tutto
Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. Il termine i. deriva dal fr. informatique (composto di INFORMATion e automatIQUE, «informazione automatica») ... ...
Leggi Tutto
Mauro Orlandi
I progressi nelle tecniche di memorizzazione e manipolazione artificiale di dati in forma elettronica non lasciano indifferente il mondo del diritto. Secondo un criterio qualitativo di rilevanza si possono isolare due grandi spazi: lo spazio della disciplina giuridica 'estrinseca' delle ... ...
Leggi Tutto
Nicola Nosengo
La scienza del calcolo automatico
L'informatica è la disciplina che studia sistemi per elaborare automaticamente le informazioni. Sistemi quindi che, a partire da una serie di regole predefinite e di dati che vengono immessi in entrata, siano in grado di arrivare attraverso vari passi ... ...
Leggi Tutto
informàtica [Der. del fr. informatique, comp. di informat(ion) (automat)ique "informazione automatica"] [INF] La scienza dell'informazione, disciplina di recente formazione che s'occupa della raccolta e del trattamento, in partic. del-l'elaborazione automatica, delle informazioni, nelle varie forme ... ...
Leggi Tutto
Guido Martinotti
Introduzione
Il termine 'informatica', entrato ormai nell'uso quotidiano della lingua italiana, è di origine francese, circostanza che spiega, forse, la sua scarsa diffusione nella comunità linguistica anglosassone. Coniato nel 1962 dall'ingegnere Philippe Dreyfus, per composizione ... ...
Leggi Tutto
Paolo Ercoli
(App. IV, II, p. 189)
Dalla metà degli anni Settanta alla fine degli Ottanta si è assistito non soltanto all'ingresso degli elaboratori in tante attività e nei più diversi luoghi delle società avanzate, ma anche a un consolidamento dell'i. e delle sue applicazioni in forma disciplinare ... ...
Leggi Tutto
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. 2. Notazione. 3. Automi finiti. 4. Automi a pila. 5. La macchina di Turing. 6. Decidibilità e indecidibilità. 7. ... ...
Leggi Tutto
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni di oggetti concreti o astratti, di fenomeni, di processi, di fatti, di idee, ecc. e delle operazioni eseguibili ... ...
Leggi Tutto
Luigi Dadda
Peter J. Denning
di Luigi Dadda, Peter J. Denning
INFORMATICA
Informatica ed elettronica dei calcolatori
di Luigi Dadda
sommario: 1. Introduzione. 2. Evoluzione storica degli elaboratori: a) Fno a circa il 1940. b) Dal 1940 al 1950. c) Dal 1950. 3. Concetti introduttivi all'informatica. ... ...
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 [...] proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza delle logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] ) applicano alla programmazione tecniche di intelligenza artificiale (sistemi esperti, regolediinferenza, riconoscimento del linguaggio naturale). In questi linguaggi, invece di descrivere dettagliatamente l’algoritmo di soluzione, si descrive il ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regolediinferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] alle finalità che la costruzione del c. si propone), b) un insieme diregole d’inferenza, cioè diregole che consentono di inferire immediatamente da un certo numero di espressioni (assiomi o espressioni da questi inferite in precedenza) una nuova ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] macchina tutte le possibili e immaginabili regoledi pronuncia.
Rodney Brooks del Laboratorio la maggior parte delle loro valutazioni. Si può quindi arrivare a una inferenzadi tipo fuzzy che è diversa da quella binaria. Ad esempio, nella logica ...
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 [...] semplice regoladi aggiornamento per modificare le forze di connessione fra i neuroni possa dare luogo a processi di apprendimento tipo di elaborazione dell'informazione è quella di 'inferenza sulla conoscenza' (e allora si parla di elaboratore ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] regoladi aggiornamento per modificare le forze di connessione fra i neuroni potesse dare luogo a processi di apprendimento dati); (c) la risoluzione di problemi (un’espressione equivalente è quella di ‘inferenza sulla conoscenza’).
Quando si esamina ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] , ottenuto componendo opportunamente il ''fattore di certezza'' delle regole d'inferenza impiegate, cioè il livello di fiducia indicato per esse dagli esperti che le hanno formulate. mycin si basa su regoledi produzione. Esso raggruppa le ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
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,...