variabile

Dizionario delle Scienze Fisiche (1996)

variabile variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] ◆ [MCC] V. lagrangiana, o materiale: v. cinematica: I 598 d. ◆ [FAF] V. libera: nella logica matematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. logica: III 484 d. ◆ [FAF] V. meccanica: v. assiomatizzazione: I 181 f. ◆ [TRM] V ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA NUCLEARE – MECCANICA – MECCANICA DEI FLUIDI – STORIA DELLA FISICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

operatore

Dizionario delle Scienze Fisiche (1996)

operatore operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] [ANM] O. lineare di classe traccia: v. algebre di operatori: I 97 f. ◆ [ALG] [FAF] O. logico: (a) Simb. (per es., di quantificatore) che nella logica matematica trasforma una forma enunciativa (espressione di cui non ha senso dire che è vera o falsa ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

algebra di Boole

Enciclopedia della Scienza e della Tecnica (2008)

algebra di Boole Silvio Bozzi Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] e ultrafiltri nelle algebre di Boole è divenuto così di importanza centrale e ha avuto moltissime applicazioni. Nella logica matematica, per es., dove l’insieme delle proposizioni di un linguaggio enunciativo, una volta che si identifichino gli ... Leggi Tutto

CATEGORIA: TEMI GENERALI – LOGICA

TAGS: TEORIA DELLA MISURA – LOGICA MATEMATICA – GARRETT BIRKHOFF – INSIEME ORDINATO – SPAZIO COMPATTO

lineare

Dizionario delle Scienze Fisiche (1996)

lineare lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] delle forme sia minore di m. ◆ [ANM] Integrale l.: lo stesso che integrale curvilineo. ◆ [ALG] [FAF] [INF] Logica l.: ramo recente della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – METROLOGIA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

notazione

Dizionario delle Scienze Fisiche (1996)

notazione notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ... Leggi Tutto

CATEGORIA: FISICA DEI SOLIDI – FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

linguaggio

Dizionario delle Scienze Fisiche (1996)

linguaggio linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L. logici: quelli, detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti a partire da un ben definito alfabeto, che è costituito ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

chiusura

Dizionario delle Scienze Fisiche (1996)

chiusura chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

deduzione

Dizionario delle Scienze Fisiche (1996)

deduzione deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali. ◆ [ALG] [FAF] Nella logica matematica, l'operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

psicanalisi

Enciclopedia on line

Disciplina, fondata da S. Freud, che ha per oggetto lo studio e il trattamento terapeutico di disturbi di tipo psicologico nel quadro di una teoria dinamica della psiche il cui concetto centrale è quello [...] , mise in evidenza l’organizzazione linguistica e semantica dell’inconscio secondo criteri suoi propri. Le suggestioni della logica matematica anziché della linguistica sono alla base degli studi di I. Matte Blanco, tra i maggiori psicanalisti dell ... Leggi Tutto

CATEGORIA: BIOGRAFIE – PSICANALISI – PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA – PSICOLOGIA GENERALE – PSICOLOGIA SOCIALE – PSICOLOGIA SPERIMENTALE – PSICOMETRIA – PSICOTERAPIA – TEMI GENERALI

TAGS: SISTEMA NERVOSO CENTRALE – SECONDA GUERRA MONDIALE – MECCANISMO DI DIFESA – TEORIA DELLA MENTE – APPARATO PSICHICO

uguaglianza

Enciclopedia on line

(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo. In logica matematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ... Leggi Tutto

CATEGORIA: ALGEBRA – TEMI GENERALI – DIRITTO COSTITUZIONALE – STORIA E FILOSOFIA DEL DIRITTO – FILOSOFIA DEL DIRITTO

TAGS: RELAZIONE DI EQUIVALENZA – COSTITUZIONE ITALIANA – RIVOLUZIONE FRANCESE – LOGICA MATEMATICA – DIRITTO NATURALE