OPERATIVA, RICERCA
Lucio Bianco-Mario Lucertini
(App. III, II, p. 315; IV, II, p. 669)
Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] obiettivi da perseguire. La formalizzazione di questo modo di operare e la successiva risoluzione del problema di decisione sono tipici algebriche, grafi, schemi entità-relazione, equazioni booleane, catene di Markov, modelli probabilistici e ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] falso' e 'vero'), e sulle quali sono ammesse le operazioni di negazione logica, rappresentata da una barra sulla variabile (x prodotto logico (x ∙ y = l se e solo se x=y= 1). Esempi di proposizioni booleane sono F =x1 ∙ (x̅2 +x1 ∙ x3) e F = (x̅1 + x2) ...
Leggi Tutto
La grande scienza. Sistemi disordinati
David Sherrington
Sistemi disordinati
I sistemi disordinati sono estremamente comuni e appaiono con svariate forme e componenti in discipline molto differenti, [...] detti K-SAT, consistenti nel trovare valori di quantità booleane che soddisfino simultaneamente molte 'clausole' di lunghezza K di spin un po' più nel dettaglio. I neuroni possono operare a diverse velocità e quando lo fanno inviano, attraverso le ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] quale Boole aveva dato vita nelle sue due opere maggiori possedeva alcune caratteristiche che lo rendevano difficilmente accettabile Hailperin 1981: Hailperin, Theodore, Boole's algebra isn't Boolean algebra, "Mathematics magazine", 54, 1981, pp. 172 ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] 'unico problema della soddisfattibilità di espressioni booleane. Negli anni seguenti si riconobbe che è in ordine di grandezza O(n+tE), ove n è proporzionale al numero di operazioni per generare una n-pla e tE è il tempo per calcolare il valore di E ...
Leggi Tutto
Sistemi disordinati
David Sherrington
I sistemi disordinati possono trovarsi ovunque e apparire con svariate forme e componenti in discipline molto differenti, fra cui la fisica dello stato solido, [...] -SAT, che consistono nel trovare valori di quantità booleane che soddisfino simultaneamente molte clausole di lunghezza K; con i vetri di spin. I neuroni sono in grado di operare a diverse velocità e inviare ad altri neuroni, attraverso le sinapsi, ...
Leggi Tutto
Boole, algebra di
Boole, algebra di particolare struttura algebrica, introdotta originariamente da G. Boole. Permette di effettuare un calcolo algebrico che ha come oggetti non i numeri, ma i valori [...] binaria e le sue variabili, dette variabili booleane, possono assumere solo i due valori 0 e 1. Fra tali variabili sono definite le seguenti operazioni:
a) prodotto logico detto anche and: è un’operazione binaria che si indica con il simbolo × e ...
Leggi Tutto
funzione booleana
funzione booleana funzione binaria a variabili binarie. È una funzione che è applicata a un insieme di variabili binarie che assumono ciascuna uno di due possibili valori, per esempio [...] ) si ottiene un valore diverso da 1 o 0. Le varie operazioni definite nell’algebra di → Boole (prodotto logico, somma logica, complemento...) sono esempi di funzioni booleane. Interpretando i valori 0 e 1 come valori di verità, rispettivamente «falso ...
Leggi Tutto
exor
exor in logica, operazione definita in un’algebra di Boole, talvolta indicata anche con xor. Data una coppia di variabili booleane a e b, tali cioè da poter assumere solo i valori 0 e 1, l’exor [...] variabili sia uguale a 1, mentre è uguale a zero negli altri casi.
Dal punto di vista della logica degli enunciati l’operazione exor corrisponde alla → disgiunzione esclusiva aut: dati due enunciati A e B, l’enunciato A aut B è infatti vero se e ...
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 [...] assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che è stata sviluppata e formalizzata, a metà degli anni Settanta, per opera di John V. Guttag, Barbara Liskov, Stephen N. Zilles e ...
Leggi Tutto