STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] Arbib. Per monoide s'intende un insieme E con un'operazione binaria associativa e con un elemento neutro. Un monoide in cui . Siano pi, 1≤i≤2, due elementi di Pfn(E,E) definiti dalle relazioni D(pi) = Ai, pi(x) = x (da cui segue che l'intersezione ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] aria Pα su α (cioè, un sottoinsieme della potenza cartesiana αn); per il simbolo del predicato diadico "=" la struttura conterrà la relazionebinaria "è uguale a"; 3) per ogni simbolo di funzione a n argomenti f ∈ L, da una operazione (o funzione) fα ...
Leggi Tutto
predicato
predicato in logica, espressione di una proprietà o di una relazione relativa a una o più costanti o variabili che ne costituiscono gli argomenti. I predicati traducono in espressioni simboliche [...] alcune affermazioni del linguaggio naturale. Per esempio, indicando con il simbolo P(x, y) (si legge «P di x e y») la relazionebinaria «x è il padre di y» e con le costanti c e m i nomi propri Carlo e Marco, l’espressione P(c, m) è un predicato e ...
Leggi Tutto
uguaglianza
uguaglianza [Der. di uguale] [ALG] [ANM] Indica il fatto che due enti hanno in qualche senso le medesime proprietà. Precis., una relazione di u., o di equivalenza, è una relazionebinaria, [...] indicata usualmente dal simb. =, che gode delle proprietà seguenti: (a) riflessiva: a=a; (b) simmetrica: se a=b, allora b=a; (c) transitiva: se a=b e b=c, allora a=c. ◆ [ALG] U. di espressioni algebriche: ...
Leggi Tutto
metamatematica
Parte della logica matematica che ha per oggetto l’analisi formale delle dimostrazioni e delle strutture matematiche. Le sue principali branche sono quindi la teoria della dimostrazione [...] subito che essa è un’algebra di Boole. In modo analogo si costruisce LM definendo nell’insieme di tutti gli enunciati la relazionebinaria di equivalenza ℛM ponendo A ℛM B se e solo se da M è derivabile A ↔ B. Indicate le classi di equivalenza ...
Leggi Tutto
logica temporale
logica temporale particolare → logica modale che studia la struttura delle proposizioni che esprimono, in vario modo, il concetto di temporalità. Interessanti riflessioni in proposito, [...] (i cui elementi corrispondono intuitivamente agli istanti: t, s, v, …) sul quale è definita una relazionebinaria R (che corrisponde intuitivamente alla relazione di anteriorità temporale: tRs vuol dire che l’istante t precede l’istante s). Imponendo ...
Leggi Tutto
Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] ’alfabeto S a variabili di X; 2) se ν contiene una variabile di X, anche u contiene la stessa variabile. La relazionebinaria ρ definisce le regole di riscrittura (o regole di produzione) che permettono il passaggio da una stringa all’altra. A titolo ...
Leggi Tutto
ordine
Dato un insieme qualsiasi è possibile organizzare i suoi elementi secondo una certa regola (o relazione) che definisce un ordine degli elementi nell’insieme. Si chiamano relazioni d’o. (o semplicemente [...] che determinano l’ordinamento di un insieme. Dato un insieme A e una relazionebinaria R in A, R è una relazione di o. parziale, se è antisimmetrica (per ogni coppia di elementi a, b di A, se aRb e bRa, allora a=b) e transitiva (se aRb e bRc ...
Leggi Tutto
restrizione
restrizióne [Der. del lat. restrictio -onis, dal part. pass. restrictus di restringere (→ restringimento)] [ANM] R. di una funzione: quando si considera soltanto una parte dell'intervallo [...] R'=R⋂Ln; il simb. corrispondente è R✄L, che si legge "R ristretta a L". In modo analogo, data la relazionebinaria R tra elementi degli insiemi A e B, si definisce la r. di R rispetto al dominio A, rispetto al codominio B, o rispetto a entrambi ...
Leggi Tutto
antisimmetria
antisimmetrìa [Comp. di anti- e simmetria "la proprietà di essere antisimmetrico"] [ALG] [LSF] Termine che può assumere significati diversi a seconda del contesto: per es., v. solidi, livelli [...] : II 692 c; statistiche quantistiche: V 604 c. ◆ [FAF] Nella logica, proprietà di una relazionebinaria R tra gli elementi di un insieme tale che non possono mai valere contemporaneamente le relazioni aRb e bRa, con a e b distinti; per es., è tale la ...
Leggi Tutto
relazione
relazióne s. f. [dal lat. relatio -onis, der. di referre «riferire», part. pass. relatus]. – 1. L’azione e il fatto di riferire, e il testo stesso, orale e scritto, con cui si riferisce, e la sua forma: fare, presentare una r.; r....
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....