insiemi parzialmente ordinati

Enciclopedia della Scienza e della Tecnica (2008)

insiemi parzialmente ordinati Luca Tomassini Un insieme (o spazio) A sul quale sia definito un ordine parziale ≤, spesso detto anche poset. Un ordine parziale è una relazione binaria che soddisfa le [...] cioè tali che a≤m per ogni a∈A. La loro esistenza è garantita dal lemma di Zorn: se ogni catena di un insieme parzialmente ordinato A ha un elemento massimale in A, allora esiste un elemento massimale per A. Il lemma di Zorn è equivalente al celebre ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: EQUAZIONI DIFFERENZIALI – RELAZIONE BINARIA – ERNST ZERMELO – COMBINATORIA – NUMERABILI

morfismo d'ordine

Enciclopedia della Matematica (2013)

morfismo d'ordine morfismo d’ordine tra due insiemi parzialmente ordinati (R, ≤) e (Q, ⊆), è un’applicazione ƒ: R → Q che preserva gli ordini, vale a dire tale che, se a e b sono elementi di R con a [...] ≤ b, allora vale anche ƒ(a) ⊆ ƒ(b) (→ struttura d’ordine). ... Leggi Tutto

combinatòria

Enciclopedia on line

Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemi parzialmente ordinati), alla teoria dei numeri (successioni e insiemi, geometria dei numeri, partizioni, campi finiti ... Leggi Tutto

CATEGORIA: ALGEBRA

TAGS: TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI – FONDAMENTI DELLA MATEMATICA – SERIE FORMALI DI POTENZE – CALCOLATORI ELETTRONICI

Ròta, Giancarlo

Enciclopedia on line

Matematico italiano (Milano 1932 - Boston, Massachusetts, 1999); naturalizzato statunitense (1961), prof. di matematica applicata alla Rockefeller University e dal 1967 al politecnico del Massachusetts, [...] diede importanti contributi alla matematica combinatoria. A lui si deve un'estensione della funzione μ di Möbius allo studio di insiemi parzialmente ordinati. ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: MATEMATICA COMBINATORIA – ROCKEFELLER UNIVERSITY – FUNZIONE Μ DI MÖBIUS – MATEMATICA APPLICATA – MASSACHUSETTS

Informatica

Enciclopedia Italiana - VI Appendice (2000)

Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] denotazionale è l'uso del concetto di punto fisso. Come domini dei dati si assumono, anziché insiemi, insiemi parzialmente ordinati completi e, potendosi interpretare i programmi di un linguaggio di programmazione come funzionali continui su tali ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI

DECISIONE

Enciclopedia Italiana - VII Appendice (2006)

di Massimiliano Caramia e Paolo Dell'Olmo L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] associare una funzione di utilità ed è necessario ricorrere ad altre famiglie di ordinamenti (insiemi parzialmente ordinati o poset, ordini intervallo, semiordini). Sebbene nei problemi reali possa essere più pratico attribuire a ogni alternativa ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: UNIONE ECONOMICA E MONETARIA – PRODOTTO CARTESIANO – FUNZIONE DI UTILITÀ – TEORIA DEI GIOCHI – RIFIUTI TOSSICI

La grande scienza. Combinatoria

Storia della Scienza (2003)

La grande scienza. Combinatoria Peter J. Cameron Combinatoria Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] con tecniche algebriche, comprese serie formali, azioni di gruppi e lo studio delle algebre di incidenza di insiemi parzialmente ordinati. Tuttavia l'algebra compare in combinatoria in molti altri modi. Per esempio gli 'schemi di associazione' (una ... Leggi Tutto

CATEGORIA: ALGEBRA

isomorfismo

Enciclopedia della Matematica (2013)

isomorfismo isomorfismo termine che, nel linguaggio naturale, significa identità di forma; è utilizzato in diversi ambiti della matematica per identificare due strutture che, seppure sono “concretamente” [...] così una serie di nozioni più specifiche come quelle di biiezione (tra insiemi privi di struttura algebrica), di isomorfismo d’ordine (tra insiemi parzialmente ordinati), di isomorfismo lineare (tra spazi vettoriali), di isomorfismo (tra gruppi, tra ... Leggi Tutto

TAGS: RELAZIONE DI EQUIVALENZA – FUNZIONE ESPONENZIALE – APPLICAZIONE LINEARE – SPAZIO VETTORIALE – TEORIA DEI GRAFI

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] denotazionale è l'uso del concetto di punto fisso. Come domini dei dati si assumono, anzichè insiemi, insiemi parzialmente ordinati completi e, potendosi interpretare i programmi di un linguaggio di programmazione come funzionali continui su tali ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e Saul Kripke. Entrambe queste semantiche sono basate su insiemi parzialmente ordinati. Chiamiamo nodi gli elementi di un insieme parzialmente ordinato. Nei modelli di Kripke l'ordine parziale è arbitrario, in quelli di Beth è un albero ramificato ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO