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 [...] (λx·M)N si dice un β−contraendo e [N/x] M si dice il suo contratto. Se Q si ottiene da P con una successione finita (anche vuota) di β−contrazioni e cambi di variabili vincolate, allora si dice che P si β−riduce a Q, e si scrive P ▷β Q. Per es. (λx·x ...
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ù [...] significa che se l'intersezione di ogni sottofamiglia finita di un insieme di chiusi di EC+ è non vuota, anche l'intersezione dell'intera famiglia sarà non vuota. In altre parole, lo spazio è compatto e una sua base sarà costituita dai clopen che, si ...
Leggi Tutto
Araldica
Figure poste ai lati dello scudo in atto di sostenerlo o in atto di sostenere elmi, corone o cappelli. I s., che fanno parte degli ornamenti esteriori (➔ ornamento) dello stemma, si distinguono [...] convesso A di R2, la retta, contenente almeno un punto di A, che divide il piano in due semipiani, uno dei quali ha intersezione vuota con Ω; analogamente si definisce il piano di s. in R3 e l’iperpiano di s. in Rn.
Tecnica
Meccanica
S. di albero ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] x=y' indica perciò che le classi x e y sono uguali (hanno gli stessi elementi). L'atto di selezione al quale corrisponde la classe vuota è indicato con '0'. Boole fissa quindi i seguenti tre principî del calcolo: (1) x(u+v)=xu+xv; (2) xy=yx; (3) xn=x ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] Dr dei punti p in V in cui s1p,…,srp non sono linearmente indipendenti. Non è difficile vedere che questo luogo, se non è vuoto (ciò che accade per un fibrato banale), consta di una sottovarietà Dr di codimensione reale 2 in V. Il duale di Poincaré ...
Leggi Tutto
insieme
Walter Maraschini
Collettività alla base della matematica d'oggi
Una foresta è un insieme di alberi; la folla sugli spalti di uno stadio è un insieme di persone; un gregge o una mandria sono [...] ed è indicato con il simbolo Ø. L'insieme vuoto va considerato come il sottoinsieme minimo di ogni insieme. In tale caso la loro intersezione è l'insieme vuoto: due insiemi con intersezione vuota si dicono disgiunti. Per esempio P={numeri pari} ...
Leggi Tutto
Fisica
Stato s. Particolare stato di aggregazione della materia, caratterizzato da una notevole entità delle forze di coesione fra le particelle, in modo che ciascuna di queste risulta legata a quelle [...] livello di Fermi, quella inferiore ha tutti i livelli occupati dagli elettroni di valenza e quella superiore ha tutti gli stati vuoti. Le due bande sono separate da un intervallo proibito di energia Eg; alle temperature ordinarie Eg≫kT con k costante ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] il numero di caratteri che essa contiene. La stella Σ* di Σ è l'insieme (infinito) di tutte le stringhe sull'alfabeto, inclusa la stringa vuota. Un linguaggio L è un insieme finito o infinito di stringhe su Σ, cioè L∈Σ*.
Posto che con l'alfabeto Σ si ...
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 [...] A1⋃A2⋃ … ⋃An) è detta p. congiunta degli eventi A1, …, An. Se per j≠k gli insiemi Aj e Ak hanno intersezione vuota, gli eventi A1, A2, …, An sono detti eventi disgiunti o mutuamente esclusivi. Nel caso di eventi mutuamente esclusi;vi, vale l’identità ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] , la r. di inclusione ⊂, l’operazione di intersezione ⋃, quella di unione ⋂, quella di complementazione, nonché i concetti di classe totale e di classe vuota. Per es., si dirà che la R è l’intersezione delle r. S e T, in simboli: R = S ⋃ T, se R è ...
Leggi Tutto
vuotare
v. tr. e intr. pron. [der. di vuoto] (io vuòto, ecc.; il dittongo mobile tende a mantenersi anche fuori d’accento per evitare l’ambiguità con votare2 «offrire in voto, dare il proprio voto», e comunque oggi le forme con vo- sono disusate...