modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] al minimo la verifica empirica diretta. Teoria dei modelli Generalità e cenni storici La teoria dei m. è la parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ... Leggi Tutto

CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM

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

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

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

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

definizione

Dizionario delle Scienze Fisiche (1996)

definizione definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] definiti soltanto dalle loro proprietà, espresse dai postulati della geometria euclidea). ◆ [ALG] [FAF] D. metalinguistica: nella logica matematica, una d. espressa in un metalinguaggio, ossia in un linguaggio nel quale si può parlare del linguaggio ... Leggi Tutto

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

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

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