Boole, algebra di
Algebra sviluppata nel 1854 dal matematico inglese G. Boole, che utilizza soltanto i valori 0 e 1 per indicare, rispettivamente, la qualifica di falso (F) o vero (V) attribuito a una [...] . Le operazioni fondamentali previste in tale algebra sono: la somma logica (AND, simbolo v), il prodotto logico (OR, ^) e la negazione (NOT, ˜). Esse consentono la trattazione in termini algebrici delle corrispondenti operazioni insiemistiche di ...
Leggi Tutto
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] ammette, infatti, la possibilità di passare da un concetto a un altro gradualmente, mentre ciò non è possibile nella logicabooleana, in cui la definizione stessa di insieme ordinario (ordinary set) comporta che l’appartenenza di un elemento a un ...
Leggi Tutto
Bioinformatica
Sergio Nasi
La bioinformatica, che ha per oggetto la gestione e l’analisi dell’informazione biomedica attraverso i computer, si è sviluppata grandemente sotto l’impulso del Programma [...] funzionali possono basarsi su modelli probabilistici bayesiani, su reti neurali ricorrenti, su equazioni che seguano la logicabooleana, o su sistemi di equazioni differenziali. Le reti di maggiore interesse sono al momento quelle di segnalazione ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] non sono a livello classico che gli strumenti per riformulare gli algoritmi nel linguaggio proprio della logicabooleana, si ritrovano essenzialmente identiche nel caso quantistico, la realizzazione quantistica del modello a circuito apre prospettive ...
Leggi Tutto
Luigi Viola
La giurimetria si occupa dell’utilizzo del metodo scientifico per affrontare problemi giuridici, così da rafforzare certezza del diritto e prevedibilità della decisione, unitamente alla [...] ’intelligenza artificiale: modelli di business e profili di valutazione, in Riv. dir. ind., 2018, 421).
Alla logicabooleana si è affiancata l’intelligenza artificiale (Fiammella, B., Intelligenza artificiale ed etica, tra progresso ed evoluzione, in ...
Leggi Tutto
negazione
negazióne [Der. del lat. negatio -onis "atto ed effetto del negare", dal part. pass. negatus di negare] [ELT] Nella logicabooleana, per un elemento A è l'elemento A-, detto anche complemento, [...] tale che A+A-=1, derivante dall'operazione omonima, indicata con la sigla NOT. ◆ [FAF] Di una proposizione, è la proposizione contraria, cioè la proposizione che è vera quando è falsa la prima ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il a⋂1=a, a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V, dove i simboli ...
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 [...] che ha permesso di scoprire nuovi teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di varie estensioni del PROLOG.
La logica come linguaggio di programmazione. − Il metodo di risoluzione costituisce solo una parziale ...
Leggi Tutto
logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] );
• per indicare la teoria booleana dei circuiti logici (combinational logic).
Qui si fa riferimento al primo significato; per il secondo si veda → circuito logico. Nel primo dei due significati la logica combinatoria fornisce una notazione che ha ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] Ottocento come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre assegnata una σ-algebra di sottoinsiemi, cioè un’algebra booleana di sottoinsiemi chiusa non solo per le operazioni di unione ...
Leggi Tutto