biologia Enzimi (o nucleasi) di r. Enzimi in grado di tagliare il DNA in corrispondenza di specifiche sequenze di nucleotidi (siti di r.), formando così una serie di frammenti di DNA (frammenti di r.); [...] R′ = R⋃Ln. Il simbolo 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
transitivo linguistica In grammatica, si dice di verbi che sono in grado di accordarsi con l’oggetto diretto e che perciò esprimono un’azione che ‘transita’, cioè si estende dal soggetto all’oggetto. Poiché [...] di uguaglianza per la quale dall’ipotesi a=b, b=c si deduce, come conseguenza, a=c. Più in generale, si dirà che una relazione (➔) binaria R in un insieme I gode della proprietà t. se, scelti comunque a, b e c dalle ipotesi a R b, b R c segue ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] . Infatti, una successione di numeri reali corrisponde a una successione ⟨X0,…,Xn,…⟩ di sottoinsiemi di N, ed è data da un'unica relazionebinaria R tale che x∈Xn⇔R(x,n). Allora, l'unione degli insiemi Xn in questa successione è definita da
[12] ∀x ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] B* ≥A.
Definizione 3. Sia Ω un insieme non vuoto, sia ℑ un'algebra di insiemi su Ω e sia ≥ una relazionebinaria su ℑ*, l'algebra delle funzioni indicatrici estese relative a ℑ. Allora l'algebra qualitativa (Ω, ℑ*, ≥) è qualitativamente soddisfacente ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] rispettivamente antecedente e conseguente e “” denota la relazionebinaria di deducibilità tra successioni di formule. Dati , significa che c’è una contraddizione. Un’inferenza è una relazione tra sequenti S1, S2, S, della forma:
oppure
Una ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] semplicemente riprodotto la situazione metalinguistica classica. La novità è costituita dalla presenza di una relazionebinaria R tra gli oggetti di W, chiamata 'relazione di accessibilità'. Un modello modale è infatti definito come una coppia M=⟨W,R ...
Leggi Tutto
lambda-calcolo
lambda-calcolo o λ-calcolo o L-calcolo, modello di calcolo introdotto negli anni Trenta del secolo scorso da A. Church allo scopo di rappresentare formalmente il procedimento di computazione [...] Ripetendo questo passo elementare un numero finito di volte si può ridurre un termine u in un altro termine u′ e la relazionebinaria riflessiva e transitiva che si stabilisce fra u e u′ è detta β-conversione (o anche β-riduzione). Il procedimento di ...
Leggi Tutto
grafico
grafico termine che indica una rappresentazione visiva di un ente matematico e più in generale di una relazione. Si consideri una relazionebinaria R tra due insiemi X e Y ⊆ R: l’insieme G dei [...] il sistema {x R1 y} ∧ {x R2 y}; l’unione G1 ∪ G2 corrisponde invece, per le leggi di → De Morgan, alla relazione R = ¬(¬R1 ∧ ¬R2).
Particolarmente importanti sono i grafici delle → funzioni reali a una variabile reale, siano esse in forma implicita o ...
Leggi Tutto
binariobinario termine che si riferisce in generale a qualsiasi sistema che utilizza due soli elementi, l’uno alternativo all’altro. Da qui discende in matematica la connotazione binaria di alcuni oggetti, [...] b) di elementi dell’insieme un elemento c anch’esso dell’insieme; è detta anche legge di composizione interna su I. Relazionebinaria è una qualunque legge o proprietà che si stabilisce tra le coppie ordinate di elementi di un insieme e che, per ogni ...
Leggi Tutto
Moore-Smith, successione di
Moore-Smith, successione di generalizzazione del concetto di successione esteso agli spazi topologici. Una successione ha come dominio l’insieme N dei numeri naturali, che [...] ordinato e costituisce l’insieme degli indici dei suoi termini. Si consideri invece un insieme X non vuoto dotato di una relazionebinaria riflessiva e transitiva (indicata con ≤) tale che per ogni coppia a e b di elementi di X esista un elemento c ...
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....