piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] in modo che siano soddisfatte queste tre condizioni (dette spesso assiomidi incidenza): (a) per due punti distinti A, B passa il p. del circolo massimo assunto come fondamentale in un sistemadi coordinate celesti, qual è il p. dell'orizzonte per ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o disistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomidi Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria Riferimento e., o riferimento ortogonale monometrico: sistemadi riferimento, piano o spaziale, costituito da assi ...
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. [...] di un sistema materiale in cui quest'ultimo è visto come una distribuzione continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. diassiomi: nella logica matematica, un insieme finito diassiomi ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] ALG] Calcolo degli e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme diassiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa ...
Leggi Tutto
Ciascuno dei segni con cui si rappresentano graficamente i suoni delle vocali e delle consonanti di un alfabeto.
Comunicazione scritta che una persona indirizza a un’altra, oppure a un ufficio, a un ente [...] L’impiego di l. come indeterminate si estende a ogni sistema algebrico (gruppo, anello, corpo ecc.); le l. indicano i vari elementi del sistema. Le relative regole del calcolo letterale dipendono dalle proprietà formali (o assiomi) delle operazioni ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] di Kronecker, i numeri naturali si considerano dati a priori; non pretendiamo di definirli. Piuttosto, si sono formulati precisi assiomi possibilità di ottenere buoni risultati utilizzando i numeri per prevedere l’evoluzione disistemi fisici, ...
Leggi Tutto
struttura
struttura [Der. del lat. structura, dal part. pass. structus di struere "costruire"] [LSF] La costituzione e la disposizione degli elementi che, in rapporto correlativo o funzionale fra loro, [...] S. dissipativa: particolare configurazione ordinata che un sistema termodinamico (di qualsivoglia natura: fluido, ottico, chimico e 468 a. ◆ [PRB] Assiomidi s.: v. probabilità classica: IV 579 c. ◆ [MTR] [FAT] Costante di s. fine: una delle costanti ...
Leggi Tutto
uniforme
unifórme [agg. Der. del lat. uniformis "che ha una medesima forma, che è costantemente uguale", comp. di uni- e formis "-forme"] [ALG] [ANM] In matematica, di ente che si presenta con le stesse [...] cui è costante la velocità vettoriale), ecc. ◆ [ALG] Struttura u.: su uno spazio X, è definita da un sistema U di sottoinsiemi dell'insieme X╳X che soddisfi gli assiomi seguenti: (a) ogni insieme u∈U contiene la diagonale Δ={ (x, x): x∈X} ; (b) se u ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...