• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
sinonimi
atlante
il chiasmo
lingua italiana
200 risultati
Tutti i risultati [1534]
Fisica [200]
Matematica [384]
Filosofia [341]
Biografie [312]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Algebra [109]
Epistemologia [105]

Church Alonzo

Dizionario delle Scienze Fisiche (1996)

Church Alonzo Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] di C.: enunciata da C. nel 1936, afferma che ogni funzione effettivamente calcolabile, cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – LOS ANGELES – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su Church Alonzo (3)
Mostra Tutti

modus ponens

Dizionario delle Scienze Fisiche (1996)

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
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – INFERENZA
Mostra altri risultati Nascondi altri risultati su modus ponens (1)
Mostra Tutti

De Morgan Augustus

Dizionario delle Scienze Fisiche (1996)

De Morgan Augustus De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA
TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – ALGEBRA BOOLEANA – LONDRA – MADURA
Mostra altri risultati Nascondi altri risultati su De Morgan Augustus (4)
Mostra Tutti

Robinson Abraham

Dizionario delle Scienze Fisiche (1996)

Robinson Abraham Robinson 〈ròbinsn〉 Abraham [STF] (Waldenburg, Germania, 1918, nat. SUA - New Haven, Connecticut, 1974) Prof. di logica matematica nelle univ. di Toronto, Gerusalemme e infine della California, [...] a Los Angeles. ◆ [ANM] Lemma di prolungamento di R.: v. analisi non standard: I 146 d ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ANALISI MATEMATICA
Mostra altri risultati Nascondi altri risultati su Robinson Abraham (2)
Mostra Tutti

antinomìa

Dizionario delle Scienze Fisiche (1996)

antinomia antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su antinomìa (3)
Mostra Tutti

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] concetti d'interpretazione e di struttura per il linguaggio L di una teoria elementare T (cfr. pure logica matematica: Principi di logica matematica, in questa Appendice). Una interpretazione I per il linguaggio L di una teoria elementare T consiste ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su MODELLI, Teoria dei (3)
Mostra Tutti

simbolico

Dizionario delle Scienze Fisiche (1996)

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
CATEGORIA: ELETTROLOGIA – FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

prodotto

Dizionario delle Scienze Fisiche (1996)

prodotto prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoria degli insiemi e la congiunzione nella logica matematica. ◆ [ALG] P. misto: la grandezza scalare che risulta dal-l'insieme di un p. scalare e di un p. vettoriale ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA

anàlisi

Dizionario delle Scienze Fisiche (1996)

analisi anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] su varietà): v. analisi non lineare. ◆ [ANM] A. non standard: disciplina nata negli anni '60 nell'ambito della logica matematica per rendere rigoroso il metodo degli infinitesimi e degli infiniti: v. analisi non standard. ◆ [ANM] A. numerica: v ... Leggi Tutto
CATEGORIA: TEMI GENERALI – BIOFISICA – ELETTROLOGIA – FISICA MATEMATICA – FISICA TECNICA – GEOFISICA – MECCANICA – MECCANICA DEI FLUIDI – OTTICA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – ELETTRONICA – MECCANICA APPLICATA

simmetrico

Dizionario delle Scienze Fisiche (1996)

simmetrico simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] qualsiasi polinomio s. può essere scritto come un polinomio le cui indeterminate siano polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logica matematica, la proprietà di una relazione R tale che se a è associato a b (in simb.: aRb) anche b è ... Leggi Tutto
CATEGORIA: ELETTROLOGIA – FISICA MATEMATICA – FISICA TECNICA – GEOFISICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
1 2 3 4 5 6 7 8 ... 20
Vocabolario
lògica
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,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali