programmazionelogicaprogrammazionelogica tipo di programmazione in cui la struttura principale consiste nelle proposizioni logiche e nella loro composizione attraverso connettivi; tali proposizioni [...] esplicano fatti, regole e relazioni, dai quali il programma trae le conclusioni attraverso le regole d’inferenza logica. Il linguaggio di programmazionelogica più diffuso è il → prolog. ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazionelogica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] l’→ intelligenza artificiale o la gestione di database di grandi dimensioni. Le istruzioni di un programma in prolog sono particolari scritture logiche, alla cui definizione si perviene attraverso l’uso dei connettivi e delle regole del calcolo dei ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] numeri 1 e 0 per indicare vero e falso, anticipando così il sistema binario che sta alla base del funzionamento dei moderni computer (linguaggi di programmazione).
La logica dei proverbi
I proverbi sono sentenze popolari che spesso assumono la forma ...
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 [...] 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
programmazioneprogrammazione insieme delle operazioni (→ programma) necessarie a istruire un automa esecutore; per questo scopo l’uomo interagisce con la macchina attraverso un opportuno linguaggio [...] e si utilizzano quando occorre tramite un loro richiamo dal programma;
• la programmazionelogica usa proposizioni e connettivi logici, da cui deriva conclusioni attraverso regole di inferenza logica. Il linguaggio più diffuso in quest’ambito è il ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] utile alla ricerca in vari settori fra cui il → lambda-calcolo, la → programmazionelogica e la teoria della → complessità computazionale.
La logica lineare elimina le due regole strutturali della contrazione e dell’indebolimento che caratterizzano ...
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
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] taglio.
Possiamo quindi restringere l'uso della regola del taglio alle formule atomiche.
Il teorema precedente è alla base della programmazionelogica e il problema che si pone è trovare tutte le sostituzioni tali che D1 … Dt sia conseguenza di Γ ...
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...