Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] variare le variabili libere su un unico dominio universale D, di cui i vari Di sono sottoinsiemi, modelli relazionali per questa logica sono interpretati come stati di conoscenza ordinati dalla relazione di inclusione ⊆. Si dirà che A→B è vera in ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] globalmente) derivate di ordine arbitrario; (4) approssimare soluzioni di relazioni funzionali (lineari e triangolare superiore, per le quali si abbia A=QR. Indicata con D la matrice diagonale QtQ, il sistema trasformato si può riscrivere nel modo ...
Leggi Tutto
BORELLI, Giovanni Alfonso
Ugo Baldini
Nacque a Napoli il 28 genn. 1608 da Laura Borrello (Porrello, Vorriello), moglie di un soldato spagnolo della guarnigione del Castel Nuovo, Miguel Alonso "de Varoscio", [...] pena di morte in caso di loro ritorno, ed ordinò la confisca dei loro beni. Il B. si trasferì au XVIIe siècle, Paris 1954, p. 374, 475; L. Tenca, Le relazioni fra G.A.B. e V. Viviani, in Rendic. d. Ist. lombardo di sc. e lett., cl. sc. matem. e natur ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] n51,…,n21, ossia:
L'ipotesi di Riemann per K(√D), cioè Re(ρ) uguale a 1/2, è equivalente alla relazione log ∣βν∣=1/2 log p, o anche ∣βν seguenti: (1) il grado ν=[K:k] è minore o uguale dell'ordine h di Cm; (2) ogni ideale primo p di Hm di grado 1 ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ×Γ tra gli insiemi Σ e Γ è l'insieme di tutte le coppie ordinate (s,g) tali che s∈Σ, g∈Γ. Indichiamo gli alfabeti con lettere una molteplicità di percorsi di calcolo paralleli in relazione a una stessa stringa d'ingresso. La stringa è accettata se e ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insieme finito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] di equilibrio, espressa nel caso di due variabili dalla relazione di lungo periodo A(1)Y = m + B(1)X.
Le due variabili sono cointegrate C(d,d) se sono entrambe integrate I(d) di ordined e se esiste una loro combinazione lineare - con coefficienti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] fondamentali si prescinde dall'ordine in cui questi compaiono, il quoziente rispetto a tale relazione è il primo gruppo di γ(f) è dato allora dal loro linking number, e al giorno d'oggi questo numero si chiama 'invariante di Hopf'. Hopf dimostrò che ...
Leggi Tutto
Nuzialità
Lado Ruzicka
Introduzione
Il matrimonio e lo scioglimento delle unioni matrimoniali per divorzio o vedovanza sono stati da sempre oggetto di studio dei demografi in quanto la frequenza e la [...] anche da differenze di ordine culturale: ad esempio l più diffusa è quella in cui le nubende appartengono al gruppo d'età dei 20-24 anni e i nubendi a quello dei famiglia sono influenzati dalla natura delle relazioni sociali tra i due sessi. ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] del secondo ordine, dove si considerano solo variabili X,Y,Z,… su insiemi. In questo caso si introducono i termini d'insieme {x con sequenti dello stesso frammento. Ciò permette di stabilire facilmente relazioni tra LK e LJ: se un sequente Γ;Γ′⇒Δ′; ...
Leggi Tutto
Campioni: teoria e tecniche dei
Amato Herzel
Introduzione
L'epoca attuale appare caratterizzata, rispetto a quelle che l'hanno preceduta, dal ritmo enormemente più intenso delle evoluzioni e dei cambiamenti, [...] moltiplicata per un coefficiente dell'ordine di 0,4.
In pratica simboli
Si hanno allora le seguenti relazioni.
1. Sia nel campionamento senza quello precedente, se le medie del carattere D nei grappoli sono approssimativamente uguali.
In pratica ...
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....
ordinamento
ordinaménto s. m. [der. di ordinare]. – 1. L’atto di ordinare; operazione, o complesso di operazioni, di attività, di interventi, mediante cui si dà ordine, cioè regolare disposizione, assetto, funzionamento a qualche cosa: o....