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, [...] di tale tipo sono la risolubilità di un sistema di equazioni lineari a variabili intere, la soddisfattibilità di un'espressionebooleana, la possibilità di sequenziare un insieme di lavori su più macchine in modo da rispettare una data scadenza, la ...
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, [...] il line drawing è etichettabile. Si è così ridotto il problema dell'etichettatura al problema della soddisfacibilità di un'espressionebooleana. Osserviamo che questo è un metodo poco efficiente di riduzione del problema, in quanto tutti i metodi che ...
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 [...] di tale tipo sono la risolubilità di un sistema di equazioni lineari a variabili intere, la soddisfacibilità di un'espressionebooleana, il problema dello scheduling (decidere se si può allocare un insieme di lavori su più macchine in modo da ...
Leggi Tutto
minimizzazione
minimizzazione in generale, processo di riduzione al minimo. Il termine è usato in logica classica per indicare la possibilità di introdurre un sistema minimo di connettivi, da cui ricavare [...] congiunta, spesso indicato con ↓ (→ enunciati, linguaggio degli). Sempre in logica si parla di minimizzazione di una espressionebooleana, cioè di una espressione dell’algebra di Boole, per indicare la sua scrittura più sintetica. Per minimizzare un ...
Leggi Tutto
maxtermine
maxtermine prodotto di somme di una tavola di verità relativa a una funzione booleana. Si considerano le righe corrispondenti al valore della funzione uguale a 0; a ciascuna di esse corrisponde [...] le variabili in ingresso, prese in forma diretta se valgono 0 e in forma negata se valgono 1. Ogni espressionebooleana può essere espressa come prodotto dei maxtermini relativi alle configurazioni delle variabili per le quali la funzione vale 0 ...
Leggi Tutto
mintermine
mintermine somma di prodotti di una tavola di verità relativa a una funzione booleana. Si considerano le righe corrispondenti al valore della funzione uguale a 1; a ciascuna di esse corrisponde [...] tutte le variabili in ingresso, prese in forma diretta se valgono 1 e in forma negata se valgono 0. Ogni espressionebooleana può essere espressa come somma dei mintermini relativi alle configurazioni delle variabili per le quali la funzione vale 1 ...
Leggi Tutto
espressione condizionale
espressione condizionale formula che può essere vera o falsa a seconda del valore assunto dalle variabili in essa contenute. Per esempio, nel corso dell’esecuzione di un programma [...] uno o l’altro percorso a seconda che, in quello stato, l’espressione condizionale risulti vera
o falsa:
L’espressione condizionale è quindi, di fatto, una variabile booleana inserita in una istruzione del tipo:
Essa indica che se la condizione in ...
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, [...] x1, x2, ..., xn), (y1, y2, ..., yn), l’espressione
e si chiama iperpiano l’insieme dei punti le cui coordinate soddisfano è assegnata una σ-algebra di sottoinsiemi, cioè un’algebra booleana di sottoinsiemi chiusa non solo per le operazioni di unione ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] del termine p.: a) la p. di un evento intesa come espressione di una proprietà fisica dell’evento stesso e delle condizioni in cui famiglia ℬ di tutti gli eventi è una σ-algebra booleana e la funzione P soddisfa il postulato di numerabile additività, ...
Leggi Tutto