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, [...] delle mappe di A×F in S (dove A è un aperto variabile in un ricoprimento di B). La varietà S risulta così essere fibrata è 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 [...] ℬ di tutti gli eventi è una σ-algebra booleana e la funzione P soddisfa il postulato di numerabile assume con
p. 1 uno dei valori della successione (xk). Se ξ è una variabile casuale reale e Pξ la sua distribuzione (che è una misura di p. su ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] notazioni proposte da G. Boole (algebra booleana; ➔ Boole, George), non solo l’inversione. In tab. 1 sono riportati i risultati delle 3 operazioni logiche fondamentali applicate alle variabili binarie x1 e x2; valgono le relazioni:
x + 0 = x; x + 1 ...
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
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
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 [...] di rimpiazzare tale occorrenza di λx·M con λy·[y/x] M si dice un cambio di variabile vincolata in P. Si dice che P è congruente con Q, o che P si α−converte nuovi teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi spazio probabilizzato e, su di esso, una successione (Xn)n≥0 di variabili aleatorie, in modo tale che X0 ammetta un'assegnata legge e per ciascun ...
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 [...] l'insieme delle soluzioni possibili (per es., l'insieme di tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una data soluzione soddisfi la proprietà richiesta (per es ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] la quantificazione esistenziale corrisponde alla proiezione parallela all'asse della variabile quantificata e quindi ogni proiezione di un insieme algebrico sarà una combinazione booleana di insieme algebrici di dimensione affine più bassa. È questo ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] elettronici integrati: I 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebra booleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le variabili. ◆ [ALG] [INF] Operazioni l. binarie: indicando con 0 e 1 i due valori possibili ...
Leggi Tutto