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 [...] se e solo se esistono un n≥1 e degli esempi A1,….,An della matrice di AH per cui A1 … Anè tautologia. Il teorema di Herbrand è dimostrazione ottenuta può così risultare una torre di esponenziali.
Corollari saranno il principio della sottoformula (che ...
Leggi Tutto
Genetica. Modelli matematici per la genetica delle popolazioni
John Wakeley
La teoria della genetica delle popolazioni è stata fin dal principio fondata sui dati. Ronald A. Fisher, in un articolo del [...] delle due linee migri diviene pari ad α=(1−m)2≈1−2m. La matrice di transizione può essere scritta come la somma Π=A+mB, in cui
due sequenze appartenenti a due demi differenti è distribuito esponenzialmente con il tasso c su questa scala temporale. Se ...
Leggi Tutto
vettore
vettóre [agg. m. e s.m. (per il f. → vettrice) Der. del lat. vector -oris "conducente, portatore", dal part. pass. vectus di vehere "condurre, portare"] [ALG] Ente che permette di descrivere [...] v. sono i complementi algebrici dei versori c₁ c₂ c₃ nella matrice ( ax ay az ) , onde si ha v=(aybz- bx delle: IV 751 d. ◆ [PRB] V. coerente o esponenziale: v. distribuzioni di probabilità infinitamente divisibili, teoria delle: II 226 ...
Leggi Tutto
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] ), dove le H(i) sono matrici quadrate definite positive che approssimano l’inversa della matrice hessiana, cioè della matrice d’ordine n i cui elementi che ha un comportamento nel caso peggiore esponenziale. I modelli differenziabili sono i modelli ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] [18] per le formule esistenziali, in particolare (poiché ogni matrice è equivalente a una disgiunzione di congiunzioni di basiche e ∃ non vale e ci sono teorie ‒ come quella del campo esponenziale ‒ che sono model-complete ma non ammettono EQ. è d ...
Leggi Tutto