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 [...] uniformità, così che se f: α→α′ è una funzione strettamente crescente si può definire una α-dimostrazione ‒ l' mentre la zona periferica formata da Γ e Δ sarà a gestione lineare. In questo modo tutte le regole strutturali si potranno applicare su Γ ...
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, [...] usati i seguenti simboli:
b è quindi il coefficiente di regressione lineare di D su X̵̵ nel campione.
Lo stimatore-quoziente, ȳq, è della popolazione Y̅ può essere espressa come segue in funzione delle medie degli strati:
dove si è posto
Di ...
Leggi Tutto
onda
ónda [Der. del lat. unda] [LSF] Fenomeno fisico per cui una perturbazione prodotta localmente in un mezzo si propaga a distanza, trasportando lontano energia e informazioni circa le sue caratteristiche [...] ) l'equazione differenziale iperbolica, di norma lineare, alle derivate parziali del secondo ordine nelle nozione che ha esatto signif. soltanto per o. sinusoidali, essendo allora la funzione φ(xi,t) delle coordinate spaziali xi e del tempo t, avente ...
Leggi Tutto
Natalità
Gustavo De Santis
Natalità e fecondità
Con il termine 'natalità' si indica, sinteticamente, la frequenza relativa delle nascite per unità di tempo per unità di popolazione. E questo, come la [...] da far apparire indifendibile l'ipotesi di evoluzione lineare della popolazione nell'arco di tempo considerato - si si fanno) ma anche nella cadenza (quando si fanno), in funzione, ad esempio, delle fasi del ciclo economico, della propria carriera ...
Leggi Tutto
motore
motóre [agg. (f. -trice) e s.m. Der. del lat. motor -oris "che mette in movimento", dal part. pass. motus di movere "muovere"] [FTC] Sistema materiale capace di trasformare energia di una certa [...] costanti; hanno il vantaggio della grande semplicità e del basso costo. ◆ [FTC] [EMG] M. elettrico lineare: il principio di funzionamento si basa sulla generazione di un campo magnetico che varia spazialmente con moto rettilineo uniforme anziché con ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] secondo l'intuizione di Krull, va pensato come l'anello delle funzioni regolari in qualche intorno del punto dato, e lo studio dell' ricerche molto vasto, legato al concetto di operatore lineare su uno spazio vettoriale e di linearizzazione di una ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] presentano le simulazioni attraverso i metodi di programmazione lineare (essendo imposta alle variabili del modello la Si può altresì puntare, con Theil (1966), a una "funzione del benessere sociale" e articolare il modello in modo da trovare ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] omogenee di un suo punto sono esprimibili per mezzo di funzioni razionali non invertibili di certi parametri, non è possibile ottenere del plurigenere di ordine 12, P12, e del genere lineare assoluto p(1). E precisamente: le superficie razionali o ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] serie infinite, che corrispondono ai gruppi classici: la serie An del gruppo speciale lineare SL(n+1,ℂ)≡{X∈Mn+1,n+1(ℂ) tali che detX=1} (Mn lineare e poi da Brauer e Weyl per gli altri gruppi classici. La determinazione di generatori delle funzioni ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle variazioni
Craig Fraser
Calcolo delle variazioni
Il problema di Euler
Nel 1744 Leonhard Euler formulò il problema principale del calcolo delle variazioni nei [...] I2=0 se δV=0. Indicata con y=y(x,α) una funzione della quale è resa esplicita la dipendenza da α (una delle due dell'equazione δV=0; ma δV=0 è un'equazione differenziale lineare del secondo ordine nell'incognita δy, la cui soluzione generale ha ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure di lunghezza (contrapp. alle misure...
equazione
equazióne s. f. [dal lat. aequatio -onis, der. di aequare «uguagliare»]. – Propr., uguaglianza, uguagliamento, pareggiamento. Il termine, raro con uso generico (si adopera tuttavia, a volte, nel linguaggio letter. e in frasi di tono...