aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] tutti gli assiomi con l’eccezione di quelli della moltiplicazione, rimossi dal sistema con il simbolo stesso dell’operazione (×) ed è per questa ragione meno potente. Restano quindi: (a) gli assiomi che definiscono il successore s(n) di un numero ...
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
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] infine assiomi e regole di trasformazione. Assiomi e regole di trasformazione definiscono un calcolo che attraverso successive applicazioni fornisce i teoremi del sistema. Nella sua forma più netta quest’idea è codificata dalla nozione disistemadi ...
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
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] di misura di B è, nel sistema internazionale SI, il tesla (1 T=1Wb/m2).
I. nucleare
Polarizzazione magnetica di le definizioni ricorsive, o almeno alcune di esse, quali assiomi. Mentre il principio di i. completa è generalmente accettato dai ...
Leggi Tutto
Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, [...] si possa arrivare a un sistema certo e necessario di teorie e abbracciata una prospettiva continuo sia la sua negazione sono compatibili con gli assiomi della teoria degli insiemi (dando luogo, di conseguenza, a due diverse teorie degli insiemi).
...
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
teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] con alcuni o con altri enunciati.
In un sistema formale si chiama t. (o enunciato dimostrabile) l’ultima formula di una dimostrazione, cioè di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] qualunque ma ben precisato. Dall'impiego di questi due assiomi discende che la probabilità è una funzione sistemazionedi questo capitolo della s. induttiva è opera principalmente di Neyman e Pearson (1928, 1933; v. Testing statistical hypotheses di ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] , si usano talvolta altri metodi, per es., scegliere un "sistema d'intorni", o un "operatore chiusura" (v. topologia astratta lo "spazio quoziente" di X rispetto a ℰ.
Assiomidi separazione. - La definizione di spazio topologico è alquanto generale ...
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...