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 [...] come il PROLOG, tuttavia è in corso un intenso lavoro di ricerca in tale direzione.
La sintesi logica dei programmi. − La programmazionelogica e il PROLOG hanno reso popolare l'equazione: computare=dimostrare. Un ulteriore sviluppo di questa idea è ...
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, [...] , automi su strutture infinite, sistemi di riscrittura, λ-calcolo e programmazione funzionale, programmazionelogica, teorie logiche della programmazione, correttezza dei programmi, logiche modali e temporali, teoria delle basi di dati, teoria dei ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] sistemi esperti, di cui abbiamo fatto già cenno in precedenza.
Una versione per certi aspetti semplificata rispetto alla programmazionelogica in PROLOG è quella offerta dai cosiddetti sistemi a regole, nei quali la conoscenza di un certo specifico ...
Leggi Tutto
programmazioneprogrammazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] sulla sequenza di singole istruzioni, ma sull'identificazione di funzioni da assolvere; (d) p. logica: basata sull'uso di espressioni logiche (v. linguaggi di programmazione: III 428 e); (e) p. procedurale, o imperativa, in cui la p. consiste nella ...
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 [...] che appartengono, assieme ai linguaggi funzionali puri, alla classe dei linguaggi dichiarativi. I linguaggi logici permettono al programmatore di definire un insieme di fatti e di regole e di formulare domande. Il sistema risponde alle domande sulla ...
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 [...] come settore autonomo; durante il convegno vennero presentati alcuni programmi capaci di comportamenti intelligenti, quale per es. il logic theorist, in grado di dimostrare teoremi di logica matematica. In una prima fase di evoluzione l’i ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] che supportano; secondo la prima tassonomia si distinguono l. imperativi, funzionali e logici; possibili paradigmi sono la programmazione procedurale, quella strutturata e quella orientata agli oggetti.
I primi sviluppi dei linguaggi di ...
Leggi Tutto
Processo logico volto a realizzare un prodotto che soddisfi in modo ottimale requisiti espliciti (relativi a obiettivi e a vincoli tecnologici, di costo, tempo, qualità) vigenti nell’intero ciclo di vita [...] delle due parti hardware e software in cui l’intero dispositivo è suddiviso (hardware/ software co-design). Dispositivi logiciprogrammabili sono contenuti in quasi tutti gli apparati e sistemi digitali e sono senz’altro preferiti agli ASIC, quando ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] e opere pubbliche, e in generale per valutare comparativamente programmi di spesa pubblica. Nella valutazione di progetti pubblici, successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] ; tali problemi, anche di notevoli dimensioni, si affrontano con le tecniche della programmazione lineare o con tecniche ad hoc.
R. logiche
Una r. logica è un grafo orientato che rappresenta processi decisionali. I nodi corrispondono a eventi ...
Leggi Tutto
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...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...