simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
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 [...] del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato] [ALG] [FAF] Nella logica matematica, in contrapp. a sintassi, che studia i linguaggi formali (intese come pure sequenze di simboli), l'elaborazione con ...
Leggi Tutto
matematico
matemàtico [agg. (pl.m. -ci) Der. di matematica] [LSF] Che appartiene alla matematica (analisi m., ecc.) o che, pur appartenendo ad altri settori della scienza, si avvale dei metodi propri [...] della matematica: fisica m., logica m., ecc., per le quali si rinvia alle singole voci. ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] i suoi addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata del primo ordine o di ordine superiore, ogni costante individuale (se ve ne sono ...
Leggi Tutto
barra
barra [Etimo incerto] [LSF] Denomin. generica di strutture parallelepipoidi relativ. lunghe e di non grande sezione. ◆ [ALG] [ANM] Lineetta, orizzontale od obliqua, che indica una divisione; sovrapposta [...] sul simbolo di un'operazione, anche logica, indica "non", cioè la negazione dell'operazione indicata: per es., ≠ significa "non uguale" e A⊄B significa "A non contiene B". ◆ [ASF] Struttura ellissoidica che è spesso presente nelle galassie ...
Leggi Tutto
decisione
decisióne [Der. del lat. decisio -onis, dal part. pass. decisus di decidere "tagliar via, metter fine", comp. di de- e caedere "tagliare", e quindi "espressione di una volontà"] [ALG] [FAF] [...] Problema di d.: nella logica matematica, la ricerca di un procedimento effettivo (cioè concretabile in un numero finito di passi e applicabile a tutti i problemi dello stesso tipo) che consenta di stabilire se una certa proprietà o relazione convenga ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
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 [...] esplicativa, fenomenologica, incompatibile e inconfrontabile: v. teoria: VI 132 e, 133 b, 136 b. ◆ [ALG] [MCS] T. formalizzata: v. logica: III 485 e. ◆ [MCC] T. infinitesima della deformazione: v. elasticità, teoria dell': II 252 b. ◆ [ANM] T. K non ...
Leggi Tutto
atomico
atòmico [agg. Der. di atomo] [EMG] Batteria a.: batteria di celle fotovoltaiche eccitate dalla radiazione di un isotopo radioattivo beta, di solito 90Sr: v. fotovoltaico, effetto: II 752 f. ◆ [...] [ALG] [FAF] Enunciato a.: nella logica matematica, enunciato non riducibile a enunciati più semplici, come, per es., "il triangolo è una figura geometrica". ◆ [STF] [CHF] Ipotesi a.: v. molecola: IV 87 d. ◆ [FAT] Massa a.: la massa di un atomo, ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...