uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numeri naturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] considerato un concetto primitivo definito implicitamente dagli assiomi. (b) Nella teoriadegliinsiemi, considerata la relazione di equipotenza definita nella famiglia di tutti gli insiemi finiti, 1 è la classe di equivalenza costituita da tutti gli ...
Leggi Tutto
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] e anche per studiare la semantica di una data formulazione della teoriadegliinsiemi occorre ricorrere a una teoriadegliinsiemi con assiomi più forti. Fatto importante, lo schema di Tarski si può estendere a universi più generali considerando ...
Leggi Tutto
permanenza
permanènza [Der. di permanente "atto ed effetto del permanere"] [ALG] In una successione di numeri relativi, in partic. in un'equazione algebrica ordinata, il susseguirsi di due termini aventi [...] lo stesso segno. ◆ [ALG] Principio della p.: nella teoriadegliinsiemi, principio in base al quale ogni volta che si amplia un insieme (per es., si passa dall'insieme dei numeri naturali a quello dei numeri razionali) si conservano le proprietà ...
Leggi Tutto
mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] di un corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoriadegliinsiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l' ...
Leggi Tutto
ensemble flou
Settimo Termini
Espressione usata nella lingua francese per indicare gli insiemi fuzzy. Essa fu introdotta e usata da Karl Menger già nel 1951. In questo lavoro l’idea di ensemble flou [...] , viene fornita un’anticipazione dell’idea di fondo proposta da Zadeh successivamente. Si ricorda che idee di Menger (le t-norme) sono state usate nella teoriadegliinsiemi fuzzy anche per uno studio approfondito di famiglie di connettivi.
→ Fuzzy ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] quello che ha uguale modulo e uguale direzione rispetto a v, ma verso opposto; (e) nella teoriadegliinsiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione ...
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 [...] materiale finemente poroso deposta su porcellana porosa o su una placca finemente forata. ◆ [ALG] Nella teoriadegliinsiemi, ogni filtro F che sia massimale rispetto alla relazione di inclusione, cioè tale che non esista un nuovo filtro F' ...
Leggi Tutto
asimmetrico
asimmètrico [agg. (pl.m. -ci) Der. di asimmetria "che presenta asimmetria"] [EMG] Conduttore a.: quello che conduce corrente elettrica soltanto, o più facilmente, in un verso che nel verso [...] fatto che la caratteristica tensione-corrente di tali conduttori non è simmetrica rispetto all'origine degli assi. ◆ [ALG] Relazione a.: nella teoriadegliinsiemi, relazione R su un insieme I tale che per x,y∈I, xRy implica che non è verificata la ...
Leggi Tutto
Bourbaki Nicolas
Bourbaki 〈burbakì〉 Nicolas [ALG] [ANM] Pseudonimo sotto il quale un gruppo di matematici francesi (tra cui H. Cartan, C. Chevalley, J. Dieudonné, A. Weil) a partire dal 1939 iniziò a [...] , cioè una sintesi dei suoi diversi rami analizzandone le strutture fondamentali profondamente connesse, partendo dalla teoriadegliinsiemi, dall'algebra astratta e dalla topologia generale; tale movimento di pensiero matematico è detto bourbakismo ...
Leggi Tutto
relazionale
relazionale [Der. di relazione "che si riferisce a una relazione"] Calcolo r.: [ALG] quello relativo alle operazioni della teoriadegliinsiemi (unione, intersezione, complemento, inclusione) [...] e alle due operazioni specific. r., cioè la formazione della relazione inversa e la concatenazione; [ELT] [INF] nella tecnica dell'elaborazione elettronica di dati, modo di operare per entità matematiche ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...