De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcoloproposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
proposizionaleproposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] y2, quello di d’Alembert: ∂2/∂x2−∂2/∂y2 ecc.
Calcolo operatorio
Il calcolo operatorio e l’interesse allo studio degli o. come enti assoggettabili . di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di Poco dopo i francesi D. Bonneau e R. Foy comunicano di avere calcolato 4000 km ca. per Plutone e 2000 km ca. per il suo ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] cablata, che permette la registrazione di programmi nella memoria di un calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...