ambiente di calcolo
ambiente di calcolo insieme di oggetti, di relazioni tra essi e di operazioni in cui un computer, come ogni altro automa esecutore, può operare. Un esecutore, infatti, è in grado [...] di dati: a) ambienti di calcolo numerici, se l’insieme in cui si opera è formato esclusivamente da numeri; b) ambienti di calcolo non numerici, quando si usano stringhe di caratteri, variabilibooleane e quindi valori di verità delle proposizioni. ...
Leggi Tutto
array
array (ingl., «raggruppamento ordinato») termine che, nell’ambito dei linguaggi di programmazione, indica una struttura di dati formata da più componenti ordinate dello stesso tipo (per esempio, [...] numeri interi o caratteri o variabilibooleane) e identificate ognuna da uno o più indici che ne determinano univocamente la posizione nell’insieme. Un array può essere formato da una sola riga (con n componenti) e allora ognuno dei suoi elementi è ...
Leggi Tutto
prodotto logico
prodotto logico detto anche → and, è uno degli operatori dell’algebra di → Boole. Il prodotto logico fra due variabilibooleane a e b corrisponde, nel linguaggio degli enunciati, alla [...] → congiunzione fra due enunciati A e B. Nel modello insiemistico del linguaggio degli enunciati, la congiunzione corrisponde all’→ intersezione di due insiemi ...
Leggi Tutto
somma logica
somma logica detta anche → or, è uno degli operatori dell’algebra di → Boole. La somma logica fra due variabilibooleane a e b corrisponde, nel linguaggio degli enunciati, alla → disgiunzione [...] fra due enunciati A e B. Nel modello insiemistico del linguaggio degli enunciati, la disgiunzione corrisponde all’→ unione di due insiemi ...
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, [...] delle soluzioni possibili (per es., l'insieme di tutte le possibili assegnazioni di valori di verità alle variabili della formula booleana o l'insieme di tutti i percorsi diversi che possono essere seguiti dal commesso viaggiatore) è esponenziale ...
Leggi Tutto
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 [...] algebriche, grafi, schemi entità-relazione, equazioni booleane, catene di Markov, modelli probabilistici e statistici quello di flusso su reti. Si tratta essenzialmente di problemi con variabili relative a valori dei flussi in una rete assegnata (per ...
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 [...] a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V ;∣h∣>δ. Sia ora f(x) una qualsiasi funzione reale di una variabile reale e, per ogni x=ξ all'interno del suo intervallo di definizione, ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] in un certo numero di posizioni su ogni scheda del mazzo. Questi fori (o la loro assenza) realizzano delle descrizioni booleane espresse da una stringa di variabili Xi (con i che va da 1 a N), le quali possono essere vere o false a seconda che 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, [...] x1 + x̅2). La proposizione si dice soddisfacibile se e solo se esiste un assegnamento di valori 0 o 1 alle variabili x1, .. xn tale che la proposizione booleana valga 1. Per esempio F = x1 ∙ (x̅2 + x1 ∙ x3) può essere soddisfatta (tra gli altri) dall ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] appartenga alla classe P della complessità ordinaria).
Complessità di un circuito
Il calcolo del valore di una funzione booleana di n variabili dà luogo a un circuito: si tratta semplicemente di un grafo orientato aciclico con 2n nodi sorgente, e ...
Leggi Tutto