La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] fornisce un risultato indipendente dal modo in cui le regole sono applicate. Le cose vanno diversamente se le regole sono del tipo aa corrispondono così a soluzioni di sistemi di equazioni lineari. Per esempio, il linguaggio razionale X=(ab+ ...
Leggi Tutto
La grande scienza. Calcolo delle variazioni
Gianni Dal Maso
Calcolo delle variazioni
Un problema di grande importanza nella matematica pura e applicata è la ricerca dei valori massimi o minimi di grandezze [...] u in W1,p(ω) aventi traccia assegnata su ∂ω. Applicando i metodi diretti del calcolo delle variazioni, si deduce quindi che De Giorgi e John Nash per le soluzioni di equazioni ellittiche lineari. Esso è stato dimostrato nel 1957 per p=2 ed esteso ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] sia un campo di funzioni.
Fin qui queste costruzioni si applicano a ogni curva, ma per distinguere tra curve singolari il teorema di Riemann-Roch riguarda in modo naturale i fasci lineari, e ciò ne fa un argomento della teoria dei fibrati vettoriali ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] x1, ..., x10, si cerca un sistema di equazioni lineari a sei incognite; egli ottiene
equazioni a sei incognite; poi, esaminando il problema della loro compatibilità e applicando delle combinazioni, trova 5040; eliminando le ripetizioni, queste ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] in generale dalla scelta della curva. L'angolo tra due vettori applicati in P è invece indipendente. Se la curva scelta è condizioni una n-varietà ammette n campi vettoriali ovunque linearmente indipendenti, una ricerca che lo portò a studiare il ...
Leggi Tutto
L'Eta dei Lumi: matematica. La matematica della teoria delle perturbazioni da Euler a Laplace
Curtis Wilson
La matematica della teoria delle perturbazioni da Euler a Laplace
Accanto allo sviluppo dei [...] , e subito si accorse che un'analoga procedura poteva essere applicata agli afeli e alle eccentricità orbitali. Ciò vuol dire che, afelio, sarebbe stato possibile ottenere e risolvere equazioni differenziali lineari del primo ordine in dh/dt e dk/dt ...
Leggi Tutto
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 [...] B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modus ponens che consente di inferire la conclusione B dall'ipotesi logiche non-monotòne (così come le logiche lineari, le logiche dinamiche e alcuni sistemi di ...
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 [...] è proibitivo anche se n non è troppo grande (nelle applicazioni ai problemi differenziali, n tipicamente è dell'ordine di 10p per la cosiddetta decomposizione QR per la risoluzione di sistemi lineari sovradeterminati Ax=b, dove b è un vettore di ...
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 [...] una seconda trasformazione lineare. Questi modelli di apprendimento lineari sono esempi di catene di ordine infinito, un particolare studente. È inteso che la notazione usata qui si applica soltanto a uno studente singolo, non a medie di studenti. ...
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, [...] numero delle classi' espresso dalla [33] era già noto a Gauss. Siegel lo applicò allo scopo di dimostrare che logh(D)∼log∣√D∣, se D→−∞ e che logh F(x) si spezza completamente in n fattori lineari modulo p. In alcuni casi egli dette indicazioni per ...
Leggi Tutto
sovrapposizione
sovrappoṡizióne (meno com. soprappoṡizióne) s. f. [der. di sovrapporre, soprapporre]. – 1. L’atto, l’operazione di sovrapporre; il sovrapporsi, l’essersi sovrapposto: s. di due figure; s. d’immagini in una fotografia; in senso...
rete
réte s. f. [lat. rēte]. – 1. Intreccio di fili di materiale vario, incrociati e annodati tra loro regolarmente in modo che restino degli spazî liberi, detti maglie: il materiale (canapa, sparto, cocco e altre fibre vegetali; fibre artificiali;...