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, [...] l'insieme E di equazioni del tipo t=t′ dove t e t′ sono termini in T(Σ,X). Sia Alg(Σ,E) la famiglia delle Σ-algebre che soddisfano le equazioni in E. Se ≡E è la relazione di equivalenza tra termini indotta dalle equazioni di E e T(Σ)/≡E la partizione ...
Leggi Tutto
MENGOLI, Pietro
Marta Cavazza
MENGOLI, Pietro. – Nacque a Bologna da Simone e da Lucia Uccelli secondo diversi studiosi nel 1625, ma più probabilmente nel 1626.
Quest’ultima data è dedotta da una testimonianza [...] , L’«oscurità» di P. M. e i suoi difficili rapporti con i contemporanei, ibid., pp. 57-78; M. Matteuzzi, P. M. e l’algebra della logica, ibid., pp. 79-98; L. Pepe, Note sulla diffusione della Géométrie di Descartes nel 600 in Italia, in Bollettino di ...
Leggi Tutto
Biologia
In biologia molecolare, unione reversibile di molecole, che si riconoscono in base alla loro struttura, mediante legami chimici deboli.
Diritto
Nel diritto internazionale, atto unilaterale, compiuto [...] sequenze di simboli è alla base della programmazione (in particolare, nell’analisi dei linguaggi naturali e artificiali), nel calcolo algebrico, nei sistemi di deduzione automatica e nei sistemi esperti. Il r. di configurazioni avviene in questo caso ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] simbolo = è usato anche per collegare i due membri di un’equazione, con un significato diverso dal precedente). In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logica matematica il concetto di u. si basa sul concetto ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Society di Cambridge e G. Boole
Il quadro cambia se ci si sposta in Inghilterra, dove il fiorire degli interessi algebrico-matematici troverà sbocco nella grande opera di G. Boole. Si era infatti formata a Cambridge la Analytical Society (1812 ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] m. di una stessa teoria; in tal caso il m. adempie alla funzione di un’interpretazione alternativa.
Nel campo algebrico si può considerare invece m. di una struttura astratta, una struttura concreta appartenente a una classe di strutture equivalenti ...
Leggi Tutto
Enciclopedia delle Scienze Sociali I Supplemento (2001)
Previdenza sociale
Onorato Castellino
Delimitazione del tema e cenni storici
La previdenza sociale è un aspetto - si può dire, il più importante - della sicurezza sociale, e ha per fine la tutela dei [...] in equilibrio, ossia che, in ogni periodo, sia soddisfatta la relazione già ricordata. Mediante un semplice passaggio algebrico, essa può riscriversi a = P/L p/y. Si ha dunque equilibrio finanziario quando l'aliquota contributiva applicata ...
Leggi Tutto
Emenda fiscale tra dichiarazione e processo
Laura Tricomi
L’emenda della dichiarazione fiscale è lo strumento col quale il contribuente, nell’ambito del procedimento amministrativo, può far emergere [...] è significativa di una vera e propria capacità contributiva, ma rappresenta l’ammontare di una obbligazione determinata in senso algebrico, è stata sollevata la questione sui limiti del potere emendativo da riconoscere al contribuente, in ragione di ...
Leggi Tutto
NAVIGAZIONE
Aristide CALDERlNl
Mario LABROCA
Marino LAUREATI
Eugenio MODENA
Luigi BIONDI
Guido FERRO
Pino FORTINI
Alessandro GRAZIANI
Arrigo CAVAGLIERI
* Gu. Z.
. Si naviga o in vista [...] , d la declinazione, lsc lo scarroccio, lder,. la deriva e Pr la rotta vera, si ha:
Pv = Pb + δ + d + lsc + lder. (algebrico)
Per il cammino si tiene conto della velocità della nave nel tempo trascorso. L'unità di misura della velocità in mare è il ...
Leggi Tutto
algebrico
algèbrico agg. [der. di algebra] (pl. m. -ci). – Di algebra, che concerne l’algebra: calcoli a., somma a., analisi a., ecc.; in partic.: espressione a., ogni scrittura in cui compaiano numeri, lettere e indeterminate, queste ultime...
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...