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 [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logicaproposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi.
Pubblicato il libro di Siegel e Moser ...
Leggi Tutto
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] e quindi permette di dare una definizione rigorosa del concetto di verità: sono concetti semantici, per es., modello, formula soddisfacibile, ecc. ◆ [ALG] [FAF] S. della logica dei predicati e della logicaproposizionale: v. logica: III 484 e, 483 d. ...
Leggi Tutto
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] accomuna le due operette in esame è l'ostinata insistenza del D. a voler dimostrare (anche con l'uso della logicaproposizionale) che "da un'ipotesi falsa non puo mai ricavarsi un'affermazione vera" . Questo tipo di posizione, che era servito nell ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logicaproposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto
logicalò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 [...] calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si premettono o si interpongono tra enunciati, senza analizzare all'interno ...
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 [...] o. descrittivi e quelli del terzo o. di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del linguaggio della logica dei predicati contenente qualche variabile individuale libera; tali sono, per es., le ...
Leggi Tutto
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 calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
teoria
teorìa [Der. del lat. theoria, dal gr. theoría] [FAF] Formulazione e definizione dei principi generali di una scienza o di parte di essa, e anche insieme degli sviluppi che da questi principi [...] , 136 b. ◆ [ALG] [MCS] T. formalizzata: v. logica: III 485 e. ◆ [MCC] T. infinitesima della deformazione: v -Mills, aspetti geometrici delle teorie di. ◆ [FAF] Concezione proposizionale e strutturalistica delle t., incomparabilità di t.: v. teoria: ...
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,...