negazione
negazióne [Der. del lat. negatio -onis "atto ed effetto del negare", dal part. pass. negatus di negare] [ELT] Nella logicabooleana, per un elemento A è l'elemento A-, detto anche complemento, [...] tale che A+A-=1, derivante dall'operazione omonima, indicata con la sigla NOT. ◆ [FAF] Di una proposizione, è la proposizione contraria, cioè la proposizione che è vera quando è falsa la prima ...
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, [...] Ottocento come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre assegnata una σ-algebra di sottoinsiemi, cioè un’algebra booleana di sottoinsiemi chiusa non solo per le operazioni di unione ...
Leggi Tutto
(App. III, I, p. 532; IV, I, p. 669)
Con e. ci si riferisce oggi a un complesso molto vasto di attività spesso appartenenti ad ambiti disciplinari e produttivi all'apparenza eterogenei. Purtuttavia gli [...] della grandezza portante si assegna il significato di ''1'' dell'algebra booleana, e a quello basso (s2) il significato di ''0'', Detta ΔV la distanza tra i livelli dello 0 e dell'1 logici, abbiamo:
τe α C·ΔV/Imedia
e quindi la potenza diventa ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
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 [...] McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere riprodotti in un elaboratore elettronico.
Definito ...
Leggi Tutto
fluidico
fluìdico [agg. (pl.m. -ci) Der. dell'ingl. fluidic, da fluid "fluido"] [ELT] [MCF] Analogia f.: corrispondenza formale fra grandezze relative a un fluido e grandezze elettriche, mediante la [...] corrente fluida (aeriforme o liquida) operando su essa con le regole dell'algebra booleana in base alle quali operano, su tensioni o correnti elettriche, i circuiti logici elettronici; in base a tale analogia di principio, le denomin. dei circuiti f ...
Leggi Tutto
logicolò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. [...] , con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti l. 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebra booleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto