In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di quest’insieme debba essere anche un’interpretazione dell ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] formulazioni fornisce un’analisi del concetto di funzione, intesa non insiemisticamente ma come regola per trasformare espressioni in altre espressioni mediante un processo di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella ...
Leggi Tutto
Campi di numeri
Massimo Bertolini
Sia α un numero algebrico, cioè un numero complesso che soddisfa un’equazione algebrica p(x)=0, dove p(x) è un polinomio
di grado n≥1 avente coefficienti nel campo [...] .
A titolo di esempio, l’anello degli interi algebrici del campo ciclotomico K=ℚ[ζm] è l’anello ℤ[ζm], contenente tutte le espressioni polinomiali in ζm a coefficienti in ℤ. In particolare, se K è il campo razionale ℚ (ottenuto ponendo m = 1), si ha ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle ...
Leggi Tutto
rotore
rotóre [Der. di rotazione] [ALG] [ANM] (a) R. di un campo tensoriale: v. tensore: VI 129 d. (b) R. di un vettore: operatore differenziale su un campo vettoriale, detto anche rotazione e rotazionale, [...] di simb. rot e identificabile con il prodotto vettore dell'operatore nabla (rotv≡∇╳v: le espressioni in vari sistemi di coordinate sono riportate nella tab.), che identifica i vortici del campo (punti dove il r. è diverso da zero, intorno ai quali s' ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] congruenza di figure, anche se sono comuni dizioni come u. di segmenti, criteri di u. dei triangoli); u. di espressioni algebriche, riferita a due espressioni, come (x−y)(x+y) e x2−y2, che, anche se scritte in modo diverso, assumono gli stessi valori ...
Leggi Tutto
segno
ségno [Der. del lat. signum] [ALG] [ANM] Nome di simb. di operazioni, quindi operatore: + per l'addizione, ╳ per la moltiplicazione, ecc.; i s. + e - indicano se un numero è positivo oppure negativo [...] (il doppio s. ± indica che il numero può essere sia positivo che negativo); tali s. si applicano, oltre che a numeri, a espressioni algebriche e funzionali in genere; come operatore, ha il simb. sg o sgn o sign, e assume i seguenti signif.: (a) se ...
Leggi Tutto
linearizzazione
linearizzazióne [Der. di linearizzare "rendere lineare", da lineare] [LSF] L'atto e l'effetto del linearizzare, cioè del rendere lineare un dispositivo, un'espressione matematica o, astraendo, [...] o i risultati di una teoria matematica o di un problema particolare effettuando trasformazioni che permettano di ridurre determinate espressioni a polinomi di 1° grado (lineari) o comunque alla forma più semplice; tale semplificazione non è sempre ...
Leggi Tutto
Parola o frase che s’interpone nel discorso, interrompendone il senso e talora anche il costrutto, per aggiungere un chiarimento o una precisazione, per fare un’osservazione, un rinvio (anche alle note [...] .
Ciascuno dei due segni grafici entro cui viene incluso l’inciso nella scrittura, o una serie di operazioni nelle espressioni matematiche.
Linguistica
Oltre alle p. tonde ( ) che includono l’inciso esistono altre specie di p., che hanno funzioni ...
Leggi Tutto
identico
idèntico [agg. (pl.m. -ci) Der. del lat. identicus, da idem "medesimo"] [LSF] Interamente e incondizionatamente uguale. ◆ [ALG] Due elementi di un insieme si dicono i. quando coincidono; se [...] per ogni valore di x risulta f(x)=g(x); con lo stesso signif. si parla di funzioni i. e di espressioni i. La proprietà di enti i. si chiama identicità. ◆ [MCQ] Particelle i.: particelle dotate degli stessi numeri quantici interni: v. particelle ...
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;...