fuzzy logic
fuzzy logic (ingl., letteralmente: «logica sfumata» o «logica sfocata») tipo di logica polivalente, cioè che, a differenza di quella classica (aristotelica o booleana), è in grado di trattare [...] di verità vero e falso (un enunciato o è vero o è falso, tertium non datur), la fuzzy logic ammette che una variabile possa essere parzialmente vera o parzialmente falsa e non necessariamente del tutto vera o del tutto falsa e che quindi le si possa ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] interviene anche la s. di algebra booleana, la quale può essere utilmente introdotta gruppo finito di ordine n con elementi ordinati g1, g2, ..., gn. Siano xgi variabili in corrispondenza uno a uno con gli elementi di G. La matrice n × n ...
Leggi Tutto
MATEMATICA NON COMMUTATIVA
La seconda metà del 20° secolo ha visto lo sviluppo di una molteplicità di ricerche matematiche, alcune motivate da considerazioni puramente interne, altre ispirate da problemi [...] cioè uno spazio S con una misura di probabilità P definita su un'algebra booleana ^ di sottoinsiemi di S chiusa per unioni numerabili (Û-algebra). Le variabili aleatorie vengono identificate con funzioni misurabili sullo spazio S e l'attesa Ê(X ...
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
Nuovi musei
Massimo Locci
La progettazione museografica ha costituito, fino a vent’anni fa, un settore disciplinare autonomo dell’architettura, specialistico e differente per metodologie, linguaggi, [...] verificabili solo attraverso l’uso del computer e della geometria booleana.
L’Ordrupgaard Art Museum (2005) di Zaha Hadid, lungo un percorso tra muri avvolgenti e vuoti a spessore variabile, tra camere di luce e spazi esterni inglobati.
Il Museo ...
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 [...] logic);
• per indicare la teoria booleana dei circuiti logici (combinational logic).
Qui si fa riferimento sono definiti per induzione sulla complessità per mezzo delle seguenti regole:
• ogni variabile x, y, z… è un termine;
• ogni costante M, N, ...
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