Metodo usato in trigonometria per trasformare espressioni in cui figurano addizioni e sottrazioni di funzioni trigonometriche in altre contenenti invece moltiplicazioni e divisioni; vi si utilizzano le [...] cosiddette formule di p. (➔ trigonometria) ...
Leggi Tutto
Matematica
Definizioni
Si chiama e. un’uguaglianza tra due espressioni contenenti una o più variabili ovvero una o più funzioni o anche enti di natura più generale ( incognite dell’e.); se essa è soddisfatta, [...] un’identità; x2+2a2=3ax è un’e. ed è soddisfatta se x=a ovvero x=2a.
A seconda del tipo delle espressioni che compaiono nell’e., questa assume nomi e proprietà diverse (algebrica, differenziale, integrale ecc.). Due e. si chiamano equivalenti quando ...
Leggi Tutto
Matematica
Manipolazione algebrica
Metodica, basata su algoritmi impiegati negli elaboratori elettronici, che permette il trattamento automatico di espressioni matematiche (per es., polinomi, funzioni [...] razionali e funzioni trascendenti), per generare nuove espressioni più semplici, oppure per ottenere altre espressioni mediante trasformazioni algebriche e analitiche che operino su simboli e non solo su numeri; è anche detta, con uso improprio, m. ...
Leggi Tutto
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] senso specifico la semantica nasce con le ricerche di Alfred Tarski degli anni Venti del secolo scorso in cui vengono definite, per ampie classi di linguaggi, nozioni centrali come quelle di interpretazione, ...
Leggi Tutto
generalizzato
generalizzato [agg. Part. pass. di generalizzare "rendere generale"] [LSF] Qualifica che si dà a equazioni, relazioni funzionali e sim., espressioni della fisica e della matematica quando [...] siano opportunamente modificate in guisa da acquistare una portata più vasta di quella originale; così, per es., l'equazione rappresentativa di una grandezza sinusoidale, y=a sin(bx+c), può esser g. sostituendo ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] è basato su un adeguato insieme di simboli fondamentali detto alfabeto; una sequenza di tali simboli si dice espressione e le espressioni ottenute in conformità a regole di formazione prefissate sono dette formule ben formate. Dopo aver stabilito il ...
Leggi Tutto
In logica matematica, metodo del c., procedimento per dimostrare che una data espressione H non è una conseguenza (➔) di un insieme di espressioni M; esso consiste nel mostrare l’esistenza di un certo [...] modello di M che non è un modello di H. In particolare in matematica, un c. è un’eccezione a una data congettura generale che permette di dimostrarne la falsità ...
Leggi Tutto
canonico
canònico [agg. (pl.m. -ci) Der. di canone, nel senso di "conforme a una norma"] [ALG] [ANM] Si dice di espressioni, equazioni o forme analitiche che evidenzino determinati invarianti di un ente [...] o che comunque consentano semplificazioni di qualche genere, eventualmente anche di sola rappresentazione; per es., è detta c. l'equazione di un'ellisse riferita ai propri assi. ◆ [ALG] Base c.: → base. ...
Leggi Tutto
Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] numeri 1 (=100), 10 (=101), 100 (=102), 1000 (=103) e 10.000 (=104). Per i multipli di 103 e di 104 ricorrevano spesso a espressioni basate su 102 e su 103; per esempio, 2×103=20 (vimśati)×102 (śata), 3×104=30 (triṃśat) ×103 (sahasra), ecc. Le parole ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] o tridimensionale. ◆ [ALG] Particolare tipo di struttura algebrica che si realizza quando in un insieme s'introducono due opportune leggi di composizione binaria, che godono di proprietà simili a quelle ...
Leggi Tutto
espressione
espressióne s. f. [dal lat. expressio -onis, der. di exprimĕre «esprimere», part. pass. expressus]. – 1. L’atto e il modo di esprimere, di comunicare ad altri quanto si sente, si pensa o si vuole: e. di un sentimento; l’e. della...
espressionismo
s. m. [der. di espressione]. – 1. Movimento artistico nato e affermatosi in Germania al principio del sec. 20°, con l’intento di contrapporsi sia all’impressionismo francese sia al naturalismo conformista dell’epoca guglielmina;...