CAMETTI, Ottaviano
Ugo Baldini
Nacque a Gattinara il 4 nov. 1711 da Pietro Antonio e da Veronica Filippone. Compiuti gli studi secondari, decise di darsi alla vita ecclesiastica, e a diciannove anni [...] ampliamento e chiarimento.
Successivamente però il C. si convinse che il testo del Grandi, validissimo quando era stato composto, non rispondeva più alle mutate condizioni dell'insegnamento e dello stesso linguaggio scientifico, e che perciò, più che ...
Leggi Tutto
lavoro
lavóro [Der. del lat. labor -oris "fatica, lavoro"] [LSF] Nel linguaggio comune, la fatica e quindi l'energia (muscolare, biologica in senso lato) associata al raggiungimento di uno scopo determinato; [...] un signif. più vasto e generico di quello attribuitogli nel linguaggio scientifico e tecnico, che discende dal concetto di l. di motore (v. oltre). ◆ [TRM] L. chimico: v. exergia: II 513 c. ◆ [TRM] L. chimico quasi statico: v. termostatica: VI 204 e. ...
Leggi Tutto
FROLA, Eugenio
Francesco Lerda
Nato a Montanaro, frazione di Torino, il 28 sett. 1906 da Mario e da Maria Pons, si laureò in ingegneria civile presso il politecnico di Torino nel 1929 e in matematica [...] i teoremi di E. Betti sui corpi elastici e di C.A. Castigliano sulle derivate del lavoro (Su di una generalizzazione in generale, le scienze applicate, contraddistinte da un linguaggio più flessibile e adattabile alle diverse esigenze empiriche, ...
Leggi Tutto
processo
procèsso [Der. del lat processus -us "avanzamento, progresso", dal part. pass. di procedere (→ procedimento)] [LSF] (a) Ogni successione di fenomeni e di operazioni che presenti una certa unità, [...] al termine di qualificazione). ◆ [ELT] [INF] Nel linguaggio dei calcolatori elettronici (ingl. task): v. sistemi operativi: IV 601 b. ◆ [PRB] P. di conteggio: v. processi di punto: IV 598 c. ◆ [PRB] P. di Poisson: v. processi di punto: IV 598 e sgg. ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] vale 1 se e solo se le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l' l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] : v. logica: III 485 c, d. ◆ [FAF] Teorema di c. funzionale: nella logica, afferma che, data una qualunque funzione di verità f a n argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi ...
Leggi Tutto
alto
alto [agg. Der. del part. pass. altus del lat. alere "nutrire, far crescere" e quindi "cresciuto, di grande statura"] [GFS] A. atmosfera: locuz. che nel passato indicava generic. la parte esterna [...] , dove cioè l'atmosfera è sempre più fortemente ionizzata e al linguaggio della fluidodinamica subentra quello della magnetofluidodinamica: v. atmosfera terrestre: I 258 c. ◆ [FTC] [ELT] A. frequenza: locuz. usata generic. per indicare frequenze ...
Leggi Tutto
numerativo
numerativo [agg. Der. di numerare (→ numeratore)] [FAF] In un linguaggio, le parole (dette anche, assolut., numerali s.m.) indicanti entità numeriche: v. Gödel, teorema di: III 55 c; comprendono [...] sia aggettivi che sostantivi e avverbi e, a seconda della funzione, si distinguono in: cardinali (uno, due, tre, ...); ordinali (primo, secondo, terzo, ...) e distributivi (per es., lat. bini "a due a ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] partic., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
f. c.
– 1. Nel linguaggio sport., abbrev. di «fuori combattimento», espressione comunem. adoperata in luogo di quella originale inglese k.o. (knock out), per significare che in un incontro di pugilato uno dei contendenti è stato atterrato...