sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici ...
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 [...] -ḥisāb bi-'l-taḫt wa-'l-turāb. Come abbiamo già ricordato, in questo libro egli riproponeva il triangolo aritmetico e il teorema del binomio. In un trattato di metafisica dal titolo Fī bayān kayfiyyat ṣudūr al-ašyā᾽ al-ġayr al-mutanāhiya῾an al-mabda ...
Leggi Tutto
teoria della dualità
Angelo Guerraggio
Nell’ambito dell’ottimizzazione associa a un problema di ottimo (detto primale) un altro problema (detto duale), talvolta più semplice da risolvere e che comunque [...] minimo della funzione L(x,λ)=f(x)−∑λigi(x) con gli ulteriori vincoli λi≥0 e gradf(x)−∑λigradgi(x) =0. Il teorema di dualità debole stabilisce che, se le funzioni f e gi sono differenziabili, con f concava e gi convesse, allora l’estremo inferiore di ...
Leggi Tutto
Clebsch Rudolf Friedrich Adolf
Clebsch 〈klèpc〉 Rudolf Friedrich Adolf [STF] (Königsberg 1833 - Gottinga 1872) Prof. di analisi matematica nel politecnico di Karlsruhe (1858) e poi nelle univ. di Giessen [...] che permette di decomporre una rappresentazione riducibile di un gruppo di Lie nella somma diretta di rappresentazioni irriducibili: v. gruppi di Lie: III 116 f. ◆ [ANM] Teorema di C.-Stokes, o di Helmholtz: v. campi, teoria classica dei: I 472 e. ...
Leggi Tutto
Gram Jorgen Pedersen
Gram 〈gram〉 Jørgen Pedersen [STF] (Hadersleben 1850 - Copenaghen 1916) Cultore di matematiche. ◆ [ALG] Determinante di G.: per uno spazio vettoriale a n dimensioni in cui è definito [...] hermitiano; l'annullarsi di tale determinante è condizione necessaria e sufficiente perché i vettori siano linearmente dipendenti (teorema di Gram). ◆ [ALG] Metodo di ortonormalizzazione di G.-Schmidt: partendo da un insieme di vettori linearmente ...
Leggi Tutto
coseno
coséno [Der. del lat. co(mplementi) sinus "seno dell'angolo complementare"] [ALG] Funzione trigonometrica, di simb. cos, legata alla funzione seno di uno stesso angolo α dalla relazione sin2α+ [...] Heinrich. ◆ [ALG] Matrice dei c. direttori.: v. cinematica: I 594 b. ◆ [ALG] Teorema del c.: (a) nella trigonometria piana, lo stesso che teorema di Carnot: → Carnot, Lazare-Nicolas-Marguerite; (b) nella trigonometria sferica, afferma che (misurando ...
Leggi Tutto
rotazionale
rotazionale [agg. e s.m. Der. di rotazione] [LSF] Che si riferisce a una rotazione o è caratterizzato da una rotazione. ◆ [ALG] [s.m.] Nella teoria dei campi vettoriali, altro nome dell'operatore [...] r. significa che in esso vi sono vortici, cioè punti con atto di moto rotatorio, con velocità angolare w€0, in quanto (teorema del rotore) è rotv=2w e alla non nullità del r. della velocità corrisponde la non nullità della velocità angolare. ◆ [FNC ...
Leggi Tutto
L'Ottocento: matematica. Teoria degli invarianti
Leo Corry
Teoria degli invarianti
L'algebra del XIX sec. ebbe uno sviluppo intenso che coprì numerosi domini. Nuove entità matematiche come gruppi, anelli [...] consentito l'uso di espressioni equivalenti più succinte:
[8] (a1x1+a2x2)m
e anche di quella estremamente concisa am. Un tipico teorema avrebbe quindi asserito che un invariante di questa forma binaria può scriversi come:
[9] (ab)α(ac)β(bd)γ…apbqcr ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ...
Leggi Tutto
limite
lìmite [Der del lat. limes -mitis] [LSF] Confine, termine, elemento di separazione; si specializza, in senso astratto, come il confine ideale al di sopra o al di sotto del quale si verifica un [...] . Per le locuz. non ricordate qui di seguito, si rinvia alla voce di qualificazione. ◆ [PRB] L. centrale: v. LIMITE CENTRALE, TEOREMA DEL. ◆ [MCS] L. cinetico e di campo medio: v. TERMALIZZAZIONE: VI 138 f. ◆ [PRB] L. debole: limite nel senso della ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...