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,...