logica-matematica_(temi-generali): documenti, foto e citazioni nell'Enciclopedia Treccani

logico

Dizionario delle Scienze Fisiche (1996)

logico lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ... Leggi Tutto

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

somma

Dizionario delle Scienze Fisiche (1996)

somma sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] dei vettori, cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazione logica binaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v ... Leggi Tutto

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

schema

Dizionario delle Scienze Fisiche (1996)

schema schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logica matematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

V

Dizionario delle Scienze Fisiche (1996)

V V 〈vu, meno comunem. vi〉 [Forma maiusc. della lettera v] [ALG] [FAF] Nella logica matematica, simb. del valore vero, in contrapp. a F, falso. ◆ [CHF] Simb. dell'elemento chimico vanadio. ◆ [MTR] [EMG] [...] Simb. di volt. ◆ [ALG] Vcn: simb. di uno spazio vettoriale di dimensione n sul campo c. ◆ [FSD] Vk è il simb. di un centro di colore: v. centri di colore: I 554 e. ◆ [STF] [FSP] V2: sigla del ted. Vergeltungswaffe-2 ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – METROLOGIA – STORIA DELLA FISICA – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

molecolare

Dizionario delle Scienze Fisiche (1996)

molecolare molecolare [agg. Der. di molecola] [MCC] Qualifica delle grandezze descriventi lo stato dinamico di un sistema dal punto di vista lagrangiano (detto anche punto di vista m.), in quanto da [...] per integrare le equazioni del moto di particelle interagenti: v. dinamica molecolare. ◆ [ALG] [FAF] Enunciato m.: nella logica matematica (per analogia con il signif. fisico), un enunciato formato da più enunciati semplici, detti invece enunciati ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TERMODINAMICA E TERMOLOGIA – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

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

coerente

Dizionario delle Scienze Fisiche (1996)

coerente coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] di probabilità con fase relativa definita che per sovrapposizione interferiscono tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente un'espressione e la sua negazione; è sinon. di non ... Leggi Tutto

CATEGORIA: FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – MECCANICA QUANTISTICA – METROLOGIA – OTTICA – TEMI GENERALI – ANALISI MATEMATICA

singolare

Dizionario delle Scienze Fisiche (1996)

singolare singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] a normale e regolare. ◆ [ALG] [FAF] Proposizioni s.: nella logica matematica, proposizioni che riguardano uno e un solo oggetto o individuo. ◆ [ALG] [ANM] Punto s.: (a) di una curva, una superficie o, in generale, una varietà, un punto costituente ... Leggi Tutto

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

materiale 1

Dizionario delle Scienze Fisiche (1996)

materiale 1 materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logica matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

terzo

Dizionario delle Scienze Fisiche (1996)

terzo tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] 'elio II: v. elio liquido: II 396 d. ◆ [ALG] [FAF] Principio del t. escluso: nella logica matematica, principio, già noto nella logica classica (lat. tertium non datur), generalm. adoperato nelle dimostrazioni per assurdo. Per stabilire la verità di ... Leggi Tutto

CATEGORIA: ACUSTICA – FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – ALGEBRA – EPISTEMOLOGIA – METAFISICA