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 [...] ] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzionebooleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile e quello tale che, se si scambia ...
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. [...] ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzionebooleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e ...
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, [...] σ-algebra di sottoinsiemi, cioè un’algebra booleana di sottoinsiemi chiusa non solo per le ; si verifica che le forme lineari definite in V, e a valori in K, cioè le funzioni f:V→K tali che f(k1v1+k2v2)=k1f(v1) + k2f(v2), formano a loro volta ...
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 [...] assiomi di normalizzazione e finita additività siano soddisfatti. Se la famiglia ℬ di tutti gli eventi è una σ-algebra booleana e la funzione P soddisfa il postulato di numerabile additività, la terna (S, ℬ, P) è detta uno spazio di probabilità. Per ...
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'', la si può pensare di realizzare integrati con un numero di funzioni elementari compreso tra 100 e 1000 e una rapidità di ...
Leggi Tutto
Meccanica e termomeccanica razionali
CClifford A. Truesdell
di Clifford A. Truesdell
SOMMARIO: 1. Concetti e metodi: a) la natura delle scienze razionali; b) la nascita, l'apogeo e il lento declino [...] i corpi, troviamo facilmente che l'insieme costituisce un'algebra booleana. L'intersezione di due corpi è un corpo; tale influenzati e, se si permette ad h di essere il valore di una funzione generale di F e θ, perché mai si debba poi fare l'ipotesi ...
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 fisiologici più semplice, afferma che il numero dei primi p≤x è asintotico alla funzione x/log x. Il norvegese Atle Selberg e l'ungherese Pál Erdős, ...
Leggi Tutto