nor
nor operatore logico (o porta logica) che a ogni coppia di valori binari in ingresso (0 e 1) associa in uscita un solo valore, che è 1 solo se entrambi i valori in ingresso sono 0 ed è 0 in tutti [...] è sintetizzata dalla seguente tabella:
L’operatore nor può essere, quindi, considerato come un operatore dell’algebra di → Boole e ha un corrispettivo nel linguaggio degli enunciati. Esso è un particolare connettivo corrispondente alla negazione di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] concetto centrale era quello di algebra di chiusura, un tipo di struttura che si ottiene aggiungendo a un'algebra di Boole un nuovo operatore unario C soddisfacente le usuali proprietà dell'operazione di chiusura topologica. Due anni dopo, gli stessi ...
Leggi Tutto
nand
nand operatore logico (o porta logica) che a ogni coppia di valori binari in ingresso (0 e 1) associa un solo valore in uscita: tale valore è 0 se e solo se i valori in ingresso sono entrambi 1, [...] sintetizzato dalla seguente tabella:
L’operatore nand può essere quindi considerato come un operatore dell’algebra di Boole e ha un corrispettivo nel linguaggio degli enunciati. Esso è un particolare connettivo corrispondente alla negazione di una ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] , algebrica, aritmetica, insiemistica (J. D. Gergonne, K. F. Gauss, J. Bolyai, N. I. Lobačevskij, B. Riemann, G. Boole, A. De Morgan, E. Schröder, Peano, Zermelo, ecc.), insieme con la prospettiva assiomatica meta-teorica, suggerita dalla distinzione ...
Leggi Tutto
query
query in informatica, istruzione che permette l’accesso ai dati contenuti in un database attraverso una opportuna ricerca (da cui il nome in inglese). La query è scritta in un particolare linguaggio [...] comandi. Normalmente, per raffinare la ricerca si usano espressioni logiche in cui sono presenti le operazioni booleane and, or, not (→ Boole, algebra di). L’output della query, a meno che non venga specificato diversamente, è l’intero record con le ...
Leggi Tutto
Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti [...] di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logica matematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione del calcolo delle equazioni logiche e fornì la teoria delle forme canoniche. ...
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 [...] degli). Sempre in logica si parla di minimizzazione di una espressione booleana, cioè di una espressione dell’algebra di Boole, per indicare la sua scrittura più sintetica. Per minimizzare un’espressione booleana si seguono metodi anche laboriosi ...
Leggi Tutto
Sistema di scrittura che non tiene conto dell’aspetto fonologico del linguaggio, ma fa uso di simboli (ideogrammi) che si pongono in rapporto immediato con un contenuto mentale. L’i. sta alla base delle [...] interpretazione connesse con il linguaggio comune; ma il suo sviluppo è opera dei fondatori dell’algebra della logica, in particolare di G. Boole. Verso la fine del 19° sec., la i. logica ha ricevuto ampi sviluppi per opera di G. Peano in Italia e di ...
Leggi Tutto
ultrafiltro
ultrafiltro [Comp. di ultra- e filtro] [CHF] Membrana filtrante con cui si opera l'ultrafiltrazione di sostanze colloidali, costituita assai spesso da una pellicola di collodio o di altro [...] F, come si ha, per es., considerando un insieme I e un sottoinsieme I': è un u. la totalità dei sottoinsiemi di I contenenti I'. ◆ [ALG] Teorema dell'u.: in un'algebra di Boole ogni filtro è contenuto in un u.: v. analisi non standard: I 145 a. ...
Leggi Tutto
ars combinatoria
ars combinatoria espressione con cui G.W. Leibniz (De arte combinatoria, 1666) designò il suo progetto di una metodologia in grado di dimostrare le verità acquisite (ars demonstrandi) [...] di Th. Hobbes. L’ambizione era quella di ridurre il ragionamento al calcolo: obiettivo ripreso successivamente e in modo sistematico da G. Boole (→ Boole, algebra di) e i cui principi ispiratori sono alla base della stessa logica formale moderna. ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...