predicato decidibile
predicato decidibile predicato P(x), riferito alla variabile x, per il quale esista una procedura che, data una qualsiasi costante a, permetta di stabilire, in un numero finito di [...] ƒP(x) ed è definita nel modo seguente: supponendo che la variabile x, che compare nel predicato P, possa essere interpretata come un numeronaturale, allora:
• ƒP(x) è uguale a 1 se la variabile x soddisfa il predicato P, cioè se la formula P(x) è ...
Leggi Tutto
addizione operazione dell’aritmetica, denotata con il simbolo + («più»), il cui risultato è detto somma, o totale, mentre i singoli operandi sono detti addendi o termini.
L’addizione può essere definita [...] addizione definisce così una legge di composizione interna nell’insieme dei numerinaturali, formalmente indicata con il simbolo +, che a ogni coppia di numerinaturali associa un altro numeronaturale, loro somma: N × N → N.
L’addizione si estende a ...
Leggi Tutto
calcolo ricorsivo
calcolo ricorsivo procedimento di calcolo che risolve un problema di una data complessità riducendolo a problemi via via più semplici. Il valore di una funzione definita ricorsivamente [...] n, indicato con il simbolo n! (da leggersi «n fattoriale»). Il valore della funzione n! è uguale al prodotto di tutti i numerinaturali non nulli minori o uguali a n (3! = 3 · 2 · 1 = 6; 4! = 4 · 3 · 2 · 1 = 24; ...). Questa funzione può essere ...
Leggi Tutto
aromatici alternanti
Carlo Cavallotti
Composti aromatici nei quali è possibile marcare con un asterisco gli atomi di carbonio della molecola in modo tale che i primi vicini di ogni atomo di carbonio [...] totale di legami π deve essere uguale a 4n+2, dove n è un numeronaturale. In prima approssimazione i composti aromatici sono alternanti quando per una determinata struttura di risonanza a ogni legame π succede un legame σ, i quali possono essere ...
Leggi Tutto
Ulam, congettura di
Ulam, congettura di o congettura di Collatz, congettura enunciata per la prima volta nel 1937 dal matematico tedesco L. Collatz, da cui il nome con cui è anche nota. È pure conosciuta [...] 1 e si volesse proseguire con la medesima regola ricorsiva, si otterrebbe:
e così via. Pur essendo stata verificata fino a numerinaturali iniziali con un ordine di grandezza pari a 1018, a tutt’oggi (2013), la congettura non è stata dimostrata. La ...
Leggi Tutto
nonio
nonio dispositivo che permette di aumentare la sensibilità delle misure effettuate per lettura diretta di una scala graduata. Il nonio, il cui nome deriva dal matematico P. Nunes, è costituito [...] n − 1 divisioni della scala principale, per un opportuno numeronaturale n (che coincide con l’estremo superiore della numerazione della scala secondaria). Quanto maggiore è tale numero n, tanto maggiore è il livello di precisione del nonio ...
Leggi Tutto
minimalizzazione, operatore di
minimalizzazione, operatore di o schema della minimalizzazione, una delle regole attraverso le quali si costruiscono le funzioni ricorsive. L’operatore di minimalizzazione, [...] y che verifichi l’uguaglianza g(x1, ..., xn, y) = 0;
• si indica con µy(g(x1, ..., xn, y) = 0) il più piccolo numeronaturale y tale che g(x1, ..., xn, y) = 0;
• si definisce la funzione ricorsiva di n variabili ƒ(x1, ..., xn) = µy(g(x1, ..., xn ...
Leggi Tutto
Laguerre Edmond-Nicolas
Laguerre 〈lag✄èr〉 Edmond-Nicolas [STF] (Bar-le-Duc 1834 - m. 1886) Ufficiale di artiglieria, poi prof. di geometria nell'Accademia delle scienze di Parigi (1874). ◆ [ANM] Equazione [...] differenziale lineare del secondo ordine xy''+(1-x)y'+ay=0, con a costante reale; nel caso particolare che a sia un numeronaturale n, una sua soluzione è il polinomio (polinomio di L.) definito dalla formula Ln(x)=expx dn[xn exp(-x)]/dxn, oppure ...
Leggi Tutto
multiplo
multiplo in aritmetica, si dice multiplo quel numero che ne contiene un altro un numeronaturale di volte. Un numero è pertanto multiplo di un altro quando è uguale a quest’altro moltiplicato [...] per un numeronaturale; quest’altro a sua volta è detto sottomultiplo (per esempio, 12 è multiplo di 3 secondo il numero 4: 12 = 3 ⋅ 4). In termini generali, multiplo di un numero intero b non nullo è ogni numero intero a della forma a = n ⋅ b, dove ...
Leggi Tutto
geometria non archimedea
geometria non archimedea geometria in cui non vale l’assioma di → Archimede, secondo cui dati due segmenti di diversa lunghezza esiste sempre un multiplo del minore che supera [...] e il loro trasporto in modo analogo a quello del piano ordinario, si può definire il multiplo di un segmento s(RS) secondo il numeronaturale n come il segmento s(RX), in cui X è un altro punto del piano, ancora di ordinata yh, che risulta dal ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
naturale
agg. [dal lat. naturalis]. – 1. Della natura, che riguarda la natura o si riferisce alla natura, nel suo sign. più ampio e comprensivo: filosofia n., locuz. con la quale si indicò in passato e si indica tuttora in alcuni paesi l’indagine...