regola
règola [Der. del lat. regula, da regere "guidare diritto"] [LSF] (a) Modo di svolgersi ordinato e costante di una classe di fenomeni, da prendersi come norma di casi specifici. (b) Enunciato che [...] indica il procedimento per alcuni calcoli e per risolvere taluni problemi matematici (per es., r. di derivazione) o fisici basandosi su certe leggi (per es., la r. delle tre dita). Per le r. non ricordate nel seguito si rinvia al termine di ...
Leggi Tutto
teorico
teòrico [agg. (pl.m. -ci) Der. del lat. theoricus "ciò che è proprio della teoria o di una teoria", dal gr. theoréo "contemplare, meditare"] [FAF] Concetto t.: v. teoria: VI 134 d. ◆ [LSF] Fisica [...] t.: indirizzo della fisica che svolge le sue ricerche sviluppando per via di ragionamento e di calcoli matematici le conseguenze dei principi, delle leggi e dei fatti sperimentali conosciuti. ◆ [FAF] Legge t.: in contrapp. a legge sperimentale, v. ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] e quello degli assiomi propri della t.; se quest’ultimo sottoinsieme è vuoto, il sistema formale costituisce un calcolo logico. I calcoli logici in cui tra gli operatori logici si usano soltanto i connettivi si dicono enunciativi, quelli in cui si ...
Leggi Tutto
Nel linguaggio scientifico e tecnico, si dice di fenomeni influenzati in modo sostanziale da effetti tipici caratteristici di varie scale associate a grandezze fisiche tipiche quali lunghezza, tempo, energia [...] difficile e molto spesso si deve ricorrere all’uso di particolari metodi statistici. Effetti m. si trovano, per es., in calcoli di sezione d’urto nel caso di processi di diffusione in cui compaiano negli stadi iniziali, finali e intermedi più ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. Sistemi di organizzazione della conoscenza
Fu Daiwie
Georges Métailié
Ina Asim
Sistemi di organizzazione della conoscenza
La fioritura di un nuovo genere di [...] da 4 a 12, poi a 64 e quindi a 4096 gua, ottenendo così 'un gua dei mutamenti' (ossia il Classico dei mutamenti). Mediante questo calcolo simbolico, Shen Gua può mettere in luce i legami profondi tra il più grande (4096) e il più piccolo (1), tra il ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] il minor costo c. possibile (efficienza).
Per costo c. si intende la quantità di risorse (tempo di calcolo, occupazione di memoria) necessaria per calcolare la soluzione ûn. L’affidabilità è un requisito cruciale di un metodo c.: l’analisi mira a ...
Leggi Tutto
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] spesso solo gli ultimi vengono offerti in consultazione all'utente finale, mentre i primi vengono utilizzati solo per il calcolo; e) una limitata necessità di aggiornamento dei dati, i quali, una volta inseriti e validati, si mantengono stabili nel ...
Leggi Tutto
In generale, l'atto e l'effetto di razionalizzare, nel senso di rendere più adatto e rispondente alle esigenze e finalità funzionali attraverso l'ideazione e l'attuazione di metodi particolari.
Matematica
In [...] eliminare una quantità irrazionale (algebrica) dal denominatore di una frazione. Tale eliminazione (assai vantaggiosa nei calcoli numerici) si ottiene talvolta moltiplicando numeratore e denominatore della frazione per una stessa quantità scelta in ...
Leggi Tutto
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] mentre si domandava se la macchina alle differenze potesse essere costruita in modo da agire sui risultati dei suoi stessi calcoli; egli definiva tale processo 'la macchina che si morde la coda'. Mentre sviluppava quest'idea, essa si trasformò in un ...
Leggi Tutto
radiativo
radiativo [Der. del part. pass. radiatus del lat. radiare "mandare raggi", che è da radius "raggio"] [LSF] Di processo che avviene con emissione di energia raggiante. ◆ [FSN] Cattura r.: la [...] di un nucleo atomico), con la contemporanea emissione di fotoni. ◆ [TRM] Correzioni r.: correzioni che vanno introdotte nei calcoli teorici relativi a un dato fenomeno per tenere conto della possibile emissione di energia raggiante, per es. di fotoni ...
Leggi Tutto
calcolabile
calcolàbile agg. [der. di calcolare]. – Che può essere calcolato. In matematica, funzione c., funzione che può essere calcolata, per la quale esiste cioè un procedimento effettivo per calcolare il suo valore per dati valori dei...