Matematica
Operazione aritmetica mediante la quale si trova la somma di due o più numeri (detti addendi o termini). Nell’accezione più comune il termine a. si riferisce al caso dei numeri interi positivi. [...] che contiene tanto gli elementi della prima quanto quelli della seconda collezione ed essi soltanto (operazione logica di unione o somma logica). Tale collezione si chiama collezione somma: il suo numero cardinale (che dipende solo dai numeri ...
Leggi Tutto
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logicamatematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoria degli insiemi e la congiunzione nella logicamatematica. ◆ [ALG] P. misto: la grandezza scalare che risulta dal-l'insieme di un p. scalare e di un p. vettoriale ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] qualsiasi polinomio s. può essere scritto come un polinomio le cui indeterminate siano polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logicamatematica, la proprietà di una relazione R tale che se a è associato a b (in simb.: aRb) anche b è ...
Leggi Tutto
logicolò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. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logicamatematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logicamatematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli ...
Leggi Tutto
universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] considerati. ◆ [ASF] Età dell'U.: v. Universo: VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoria degli insiemi e nella logicamatematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una ...
Leggi Tutto
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logicamatematica, enunciazione [...] come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste vengono collegate tra loro ...
Leggi Tutto
risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] e due dimensioni (v. modelli risolubili in meccanica statistica). ◆ [ALG] [FAF] Problema non r., o indecidibile: nella logicamatematica, problema logico che in linea di principio non ammette una soluzione generale: è tale, per es., il problema di ...
Leggi Tutto
V
V 〈vu, meno comunem. vi〉 [Forma maiusc. della lettera v] [ALG] [FAF] Nella logicamatematica, simb. del valore vero, in contrapp. a F, falso. ◆ [CHF] Simb. dell'elemento chimico vanadio. ◆ [MTR] [EMG] [...] Simb. di volt. ◆ [ALG] Vcn: simb. di uno spazio vettoriale di dimensione n sul campo c. ◆ [FSD] Vk è il simb. di un centro di colore: v. centri di colore: I 554 e. ◆ [STF] [FSP] V2: sigla del ted. Vergeltungswaffe-2 ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...