PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] riscritta in modo equivalente in → forma normale congiuntiva e, utilizzando le leggidi → DeMorgan, in → forma normale disgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali è una congiunzione generalizzata ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] ) a sinistra:
negazione (lineare) a destra:
Come emerge dalla simmetria delle regole, si ottengono le leggidideMorgan: sia moltiplicative
sia additive
Inoltre si definisce l’implicazione moltiplicativa
e l’implicazione additiva
La ...
Leggi Tutto
insieme fuzzy
Settimo Termini
Sia X un insieme arbitrario e I l’intervallo [0,1] della retta reale. Un insieme fuzzy è una qualsiasi funzione f:X→I da X ad I. Il nome insieme fuzzy dato a queste applicazioni [...] : per ogni x∈X,
f′(x) = 1 − f(x).
Questa operazione unaria (′) soddisfa le proprietà seguenti note, rispettivamente, come involuzione e leggidiDeMorgan:
(f′)′ = f
(f ∨g)′ = (f′∧g′)
(f∧g)′ = (f′∨g′).
Si osservi che, tranne nel caso in cui f è una ...
Leggi Tutto
forma normale congiuntiva
forma normale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna [...] trasformare una qualsiasi proposizione in un’altra equivalente espressa in forma normale congiuntiva e, utilizzando le leggidi → DeMorgan, è possibile riscrivere la proposizione in forma normale disgiuntiva, cioè come disgiunzione generalizzata ...
Leggi Tutto
logica quantistica
logica quantistica sistema di logica, proposto originariamente negli anni Trenta del secolo scorso dal matematico statunitense Garrett Birkhoff e da J. von Neumann, che rispecchia [...] della logica classica eliminate dalla logica quantistica ci sono, in particolare, le leggidi → DeMorgan che consentono di inferire (A ∧ B) ∨ (A ∧ C) da (A ∧ (B ∨ C), A ∨ (B ∧ C) e (A ∨ B) ∧ (A ∨ C). Secondo il filosofo e matematico statunitense ...
Leggi Tutto
De pecunia. Chiesa, cattolici e finanza nello Stato unitario
Maurizio Pegrari
De pecunia. Detto così potrebbe apparire il titolo di una delle numerose prediche di Bernardino da Siena tenute nella piazza [...] dileggeMorgan & Co. di New York (350.000 dollari), Morgan Grenfell & Co. Ltd di Londra (100.000 sterline) e, in parte, da contanti dalla Morgan & Cie di Parigi.
Tutto sommato si trattava di l’entrata/uscita di Carlo De Benedetti, tra la ...
Leggi Tutto
DE BOSIS, Adolfo Lauro
Magda Vigilante
Nacque a Roma il 9 dic. 1901, da Adolfò, poeta e fondatore della rivista Il Convito, e da Lilian Vemon, originaria di Springfield (Missouri), la quale era venuta [...] di "leggidi Irene di Robilant. Questa associazione di dichiarate finalità culturali era in realtà uno strumento di pubbliche relazioni che T. W. Lamont della banca Morgan 2; G. Salvemini, Prefazione a L. De Bosis, Storia della mia morte, Torino 1948, ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] g. Se f implica g, f′ (il duale di f) implica g′ (il duale di g), ecc. Le cosiddette 'leggiDeMorgan' (note almeno fin dal Medioevo, ma così chiamate in onore diDeMorgan, al quale si deve un'applicazione sistematica di esse) sono un tipico esempio ...
Leggi Tutto
Stati Uniti d’America Stato federale dell’America Settentrionale, il cui territorio è suddiviso tra 50 Stati membri e il Distretto di Colombia, nel quale sorge la capitale Washington. La continuità territoriale [...] H. Hill nelle ferrovie e P. Morgan nella finanza.
Al capitalismo monopolistico e alla che prevalse. Nonostante una serie dileggidi riforma, come quella che nel 1913 anni 1950 (A. Gorky, J. Pollock, W. de Kooning, M. Rothko, M. Tobey, R. Motherwell, ...
Leggi Tutto
Scienza dell’uomo, considerato sia come soggetto o individuo, sia in aggregati, comunità, situazioni.
A. fisica
Ramo delle scienze biologiche che studia l’umanità dal punto di vista naturalistico, cioè [...] anno con la ‘riscoperta’ delle leggidi Mendel si cominciò a far luce culturale.
Principali filoni di studio. - Lo statunitense L.H. Morgan è stato il di É. Durkheim e L. Lévy-Bruhl. Il lavoro etnologico diDe Martino (legato all’insegnamento di ...
Leggi Tutto