Programmazione, algoritmi di
Alessandro Panconesi
Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] conquiste scientifiche avvenute in Oriente: il sistema decimale e la concezione moderna del numero zero, entrambi sconosciuti nel mondo greco-romano. Il termine algoritmi era evidentemente la traduzione fonetica del nome al-Ḫwārizmī. Quello che per ...
Leggi Tutto
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] linguaggi più ricchi, per es., al secondo ordine dove era stato dimostrato precedentemente da Alfred Tarski nel 1935. Molti definibile se lo è {a}). Ricerche fondamentali della moderna teoria dei modelli studiano e classificano gli insiemi definibili ...
Leggi Tutto
divisibilita
divisibilità [Der. di divisibile] [ANM] Proprietà di un ente, e in partic. di un numero, di essere divisibile per un altro; la d. di un numero intero per un altro numero intero può essere [...] delle estreme particelle costitutive della realtà; questa concezione è stata precisata dalla moderna fisica subatomica prima nel senso di escludere che l'atomo sia, come si era per tanto tempo ritenuto, un ente indivisibile e poi nel senso di ...
Leggi Tutto
sperimentale
sperimentale [agg. Der. di sperimento, forma ant. di esperimento] [LSF] Che si basa su esperimenti, che procede per mezzo di esperimenti. ◆ [LSF] Fisica s.: basata essenzialmente sull'analisi [...] risultati di esperimenti (nel passato, assai più di oggi, era sentita in contrapp. a fisica teorica). ◆ [ALG] Galilei (1564-1642) e ha dominato da allora gran parte della scienza moderna, ispirando in tempi più recenti le correnti positivistiche. ...
Leggi Tutto
stòria (ant. o letter. istòria) s. f. [dal lat. historia, gr. ἱστορία, propr. «ricerca, indagine, cognizione» da una radice indoeur. da cui il gr. οἶδα «sapere» (e ἴστωρ «colui che sa») e il lat. vid- da cui vĭdēre «vedere»]. – 1. Esposizione...
stile
s. m. [lat. stĭlus «stilo»: v. stilo]. – 1. Lo stesso, ma meno frequente, che stilo, in varî sign.: a. Piccola asta d’osso o di metallo, appuntita a un’estremità e piatta dall’altra, usata dagli antichi per scrivere sulle tavolette cerate...