aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] ecc. A proposito delle difficoltà che si incontrano nella definizione formale dell'a. v. Gödel, teorema di: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di rappresentazione dei numeri interi ...
Leggi Tutto
Regola di condotta, stabilita d’autorità o convenuta di comune accordo e di origine consuetudinaria, che ha per fine di guidare il comportamento dei singoli o della collettività, di regolare un’attività [...] via generale, nel sistema tributario, si distinguono le n. sostanziali, le n. formali o procedimentali, le 218/1995 introduce espressamente le n. di applicazione necessaria nel sistema italiano di diritto internazionale privato, subordinando le n. di ...
Leggi Tutto
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] tra l’accuratezza dei metodi e degli strumenti matematici e la natura sfuggente, la scivolosità dei sistemi che si volevano modellare. Il rigore e la precisione formale, che costituivano il loro merito, era proprio ciò che impediva un uso efficace di ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] della logica matematica, sono state anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemiformali per la logica modale, è forte l’intenzione di usare tale logica per dare una più soddisfacente analisi dei connettivi così come ...
Leggi Tutto
Biologia
Espressione genica
In genetica, processo per cui la sequenza di nucleotidi di un gene viene trascritta in una sequenza corrispondente di acido ribonucleico messaggero (mRNA) e quindi tradotta [...] e presentarsi come sostanza dell’e., cioè, in un sistema linguistico, come questo o quel significante determinato.
Matematica
Nell’algebra elementare, si chiama e. ogni scrittura che indichi formalmente il risultato di un numero finito di operazioni ...
Leggi Tutto
Matematica
Manipolazione algebrica
Metodica, basata su algoritmi impiegati negli elaboratori elettronici, che permette il trattamento automatico di espressioni matematiche (per es., polinomi, funzioni [...] detta, con uso improprio, m. simbolica, calcolo formale, calcolo simbolico, algebra computazionale ecc. Tale metodica è varia di una quantità fissa la frequenza emessa dal trasmettitore; questo sistema di m. è uno dei più complessi ma consente una ...
Leggi Tutto
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] diritto positivo, divenendo una vera e propria scienza formale del diritto con H. Kelsen.
Letteratura
Nella storia esperienza sensibile), dando loro un fondamento puramente logico (➔ sistema). Primo e massimo esponente della scuola del f. matematico ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] che f(l) sia nulla esternamente a un compatto K(l), contenuto nel dominio del sistema di coordinate {t1, ..., tp}, e tali inoltre che per ogni x ∈ Wp, dei coefficienti Lihj con la stessa legge formale che fornisce le componenti del tensore di Riemann ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] unitario che dispone, nei suoi vari rami, l'intero sistema gerarchico e unitario delle dottrine e arti umane, specchio di a Sturm; e pertanto gli veniva imposto il divieto formale di occuparsi di questioni filosofiche, estranee alla sua funzione di ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] legami tra filosofia e matematica sono essenziali per poter ricostruire il sistema di al-Kindī (IX sec.). È proprio a questa le tracce ‒ per deboli che siano ‒ di quel principio formale la cui presenza rese possibile ad al-Ṭūsī l'introduzione delle ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...