operatore

Enciclopedia on line

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., Mikusiński dà una fondazione rigorosa ai metodi del calcolo simbolico senza far uso di trasformazioni integrali. O. logico In logica matematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o in un attributo ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA

TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI

definizione

Enciclopedia on line

Filosofia L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] è la d. della grandezza mediante l’indicazione del procedimento che consente la misurazione della grandezza stessa. Matematica In logica matematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – DOTTRINE TEORIE CONCETTI

TAGS: PRINCIPIO DI INDUZIONE – FILOSOFIA SCOLASTICA – CONCILI ECUMENICI – LOGICA MATEMATICA – CHIESA CATTOLICA

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] . Questa circostanza ha dato l’impulso iniziale a uno straordinario fiorire degli studi di logica matematica, i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per ... Leggi Tutto

CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI

scienza

Enciclopedia on line

scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati. In [...] , ma è indipendente da quella che la segue. Spencer usò una tripartizione in s. astratte (logica, matematica), astratto-concrete (meccanica, fisica, chimica) e concrete (astronomia, geologia, biologia, psicologia, sociologia). Cournot definì, sotto ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ANTROPOLOGIA FISICA – METAFISICA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – EVOLUZIONISMO DARWINIANO – FILOSOFIA DELLA SCIENZA – RIVOLUZIONE SCIENTIFICA – TEORIA DELLA RELATIVITÀ

matrice

Dizionario delle Scienze Fisiche (1996)

matrice matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] le m. di ordine infinito introdotte da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logica matematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis ... Leggi Tutto

CATEGORIA: ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA NUCLEARE – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

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

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