spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] dipendenti dagli interi p e h; il loro studio può condurre a questioni di teoriadeinumeri. Tra le questioni tipiche: determinazione del numerodei punti e del numerodei sottospazi di data dimensione dello s. ambiente, e più in generale del ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] comunque che sono stati trovati vari esempi di proposizioni vere (dette proposizioni combinatorie indecidibili) della teoriadeinumeri, che non sono dimostrabili nell’aritmetica di Peano. Inoltre la classe delle funzioni ricorsive primitive ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’ottimizzazione, rivalutandone altri come l’analisi combinatoria e la teoriadei grafi. In particolare, l’analisi numerica (➔ numerico, calcolo) ha avuto un nuovo impulso nella ricerca di algoritmi veloci, efficienti e facilmente programmabili ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] essere certificati di non primalità. Per es., si può dimostrare che se mn⁻¹ - 1 non è un multiplo di n, allora n è composto. La teoriadeinumeri consente di dimostrare che esistono opportune definizioni di certificato di non primalità tali che se un ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] un comportamento caotico per concludere con alcuni cenni sulle relazioni esistenti tra lo studio dei sistemi dinamici e questioni di aritmetica e teoriadeinumeri.
Quasi-periodicità e caos nel Sistema solare
Il problema della stabilità delle orbite ...
Leggi Tutto
Simulazione
Luigi Accardi
Mario Lucertini
Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] voglia stabilire se esso ha o no la proprietà P (per esempio la proprietà di essere un numero primo). Supponiamo inoltre di conoscere, dalla teoriadeinumeri, una funzione Q di due variabili con la seguente proprietà: se trovo un intero y tale che ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] della combinatoria molto attiva, che ha collegamenti con vari settori dell'algebra e della teoriadeinumeri. Discuteremo infine le applicazioni dei linguaggi formali e degli automi, che riguardano la progettazione di software, i compilatori, il ...
Leggi Tutto
continuita
continuità [Der. di continuo "l'essere continuo", nei vari signif. di questo termine] [LSF] Sulla base delle teorie quantistiche, per le quali i corpi sono sostanzialmente discontinui, la [...] è presente l'energia di rete. ◆ [ALG] Postulato di c.: nella teoria degli insiemi (e in partic. nelle sue applicazioni alla geometria e alla teoriadeinumeri), postulato fondato su due proprietà che possono essere enunciate in maniera semplice nel ...
Leggi Tutto
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio deinumeri, soprattutto deinumeri interi; il termine, per la prima volta usato [...] ); il suo valore, espresso nella più comune rappresentazione a virgola fissa, è ottenibile tramite la relazione n (x, y) = x✄by, ove b è la base del sistema di numerazione impiegato. ◆ [ALG] A. superiore: lo stesso che teoriadeinumeri: → numero. ...
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...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...