arita
arità numero di argomenti di un predicato, di una operazione, di una funzione o, più in generale, di un operatore. Per esempio, le usuali operazioni aritmetiche agiscono su due numeri; sono quindi [...] , è una funzione di arità 2, poiché i suoi argomenti sono x e y. L’operatore relazionale «stare fra» definito in un insiemetotalmenteordinato ha arità uguale a 3 perché, per esempio, risulta vero, in R, per la terna (7, 6, 8) – perché 7 sta fra ...
Leggi Tutto
proprietà di Markov
Giacomo Aletti
Un processo stocastico Xt indicizzato da un insiemetotalmenteordinato è detto di Markov (o avere la proprietà di Markov, da Andrey Andreyevich Markov), se la distribuzione [...] di probabilità del processo in un tempo futuro, condizionata a tutta la storia fino all’istante presente, dipende solo dal valore dello stato presente e non dalla storia passata, ossia il processo è condizionatamente ...
Leggi Tutto
contiguita
contiguità proprietà relativa a una partizione di un insiemetotalmenteordinato (quale per esempio R, insieme dei numeri reali) in due classi A e B (con tutti gli elementi di A minori di [...] quelli di B) per le quali, comunque si assegni un numero ε > 0, esistono due numeri a ∈ A e b ∈ B tali che b – a < ε. Due classi di un insiemetotalmenteordinato per cui si verifica tale proprietà sono dette classi contigue. ...
Leggi Tutto
In aritmetica, numero che indica il posto che un ente ha in una successione, il cosiddetto numero d’ordine (primo, secondo ecc., oppure 1°, 2° ecc., o I, II ecc.). Teoria dei numeri ordinali Teoria matematica [...] a quella dei numeri cardinali, come parte integrante della sua teoria degli insiemi; si ricollega a quella dell’ordinamento. Siano S, T due insiemitotalmente (o parzialmente) ordinati: essi si dicono simili o isomorfi, e si scrive S ∿ T, se ...
Leggi Tutto
ordinatoordinato [agg. Der. del part. pass. ordinatus del lat. ordinare "mettere in ordine"] [ALG] Insieme o.: un insieme che sia stato sottoposto a un ordinamento: insiemetotalmente e parzialmente [...] 'ottone (e analogamente per altre leghe binarie) all'aumentare della temperatura si può avere, in un certo senso, uno scambio di ordine passando per il disordine, in quanto atomi di Zn si scambiano di posto con atomi di Cu; a una certa temperatura Td ...
Leggi Tutto
insiemetotalmente limitato
insiemetotalmente limitato insieme A, sottoinsieme di un insiemeordinato, tale che per ogni ε > 0 esiste un numero finito di punti di A per i quali l’unione degli intorni [...] di ciascuno di essi aventi raggio ε contiene A. Ogni spazio metrico completo e totalmente limitato è compatto. ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] caso. 2) Il seguente teorema di Dilworth è un altro esempio: un insieme parzialmente ordinato con almeno ab11 elementi contiene o una catena (sottoinsieme totalmenteordinato) di a11 elementi o un'anticatena (due elementi non sono mai confrontabili ...
Leggi Tutto
Complesso di norme che ordinano e disciplinano una determinata istituzione o attività.
Diritto
L’o. giuridico
Dell'o. giuridico si hanno sostanzialmente tre concezioni. La teoria normativa, che fa capo [...] che si rappresenta con il punto superiore include l’altro.
Si parlerà di buon o. di un insieme I (che si dirà bene ordinato), quando I è ordinato (totalmente) in modo tale che ogni suo sottoinsieme non vuoto abbia un primo elemento. L’o. dei numeri ...
Leggi Tutto
Diritto
Diritto privato
Fenomeno squisitamente giuridico per il quale un soggetto subentra ad altro soggetto in un complesso di rapporti giuridici patrimoniali ovvero in un rapporto giuridico patrimoniale [...] destinazione può essere diretta anche a soggetti totalmente estranei alla famiglia del disponente. Le disposizioni in media di ordine p per le funzioni a potenza p-esima sommabile; una s. {fn} di funzioni definite su un insieme di uno spazio ...
Leggi Tutto
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] siano le tipiche operazioni eseguibili su insiemi. Per semplicità, assumiamo di operare con insiemi estratti da un universo totalmenteordinato; nel caso contrario, poiché gli elementi dell'insieme sono rappresentati simbolicamente, si può sempre ...
Leggi Tutto
verso3
vèrso3 s. m. [lat. vĕrsus -us, der. di vertĕre «voltare», part. pass. versus; propr. «il voltare», quindi «l’andare a capo»]. – 1. a. ant. e raro. Riga di scrittura o di stampa, dopo la quale si va a capo (cfr. capoverso): se in quel...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...