• 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
diritto
il chiasmo
lingua italiana
webtv
456 risultati
Tutti i risultati [7281]
Matematica [456]
Biografie [1515]
Diritto [986]
Filosofia [791]
Storia [548]
Temi generali [420]
Religioni [418]
Economia [323]
Letteratura [312]
Fisica [317]

aritmetica di Presburger

Enciclopedia della Scienza e della Tecnica (2008)

aritmetica di Presburger Luca Tomassini Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] ­esprimibili nell’aritmetica (si parla di ogni proprietà P) e fa dunque intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di Peano, per formulare l’assioma di induzione al primo ... Leggi Tutto
CATEGORIA: LOGICA

La grande scienza. Cronologia scientifica: 1971-1980

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1971-1980 1971-1980 1971 I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi. Pubblicato il libro di Siegel e Moser ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

L'Universo matematico

Frontiere della Vita (1998)

L'Universo matematico John D. Barrow (Astronomy Centre, University of Sussex, Brighton, Gran Bretagna) Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] cose tramite la successione dei passaggi, o operazioni, che dovrebbero essere eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

enunciato

Dizionario delle Scienze Fisiche (1996)

enunciato enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Econometria

Enciclopedia del Novecento I Supplemento (1989)

Econometria Luigi Pasinetti Guido Gambetta di Luigi Pasinetti, Guido Gambetta Econometria sommario: 1. Definizione. 2. I precedenti storici. 3. La nascita dell'econometria. 4. I maggiori centri econometrici. [...] 1-118. Huber, P. J., Robust statistics, New York 1981. Hurwicz, L., On the structural form of interdependent systems, in Logic methodology and philosophy of science (a cura di E. Nagel, P. Suppes, A. Tarski), Stanford 1962, pp. 232-239. Intriligator ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – METODI TEORIE E PROVVEDIMENTI
TAGS: FUNZIONE DI DENSITÀ DI PROBABILITÀ – DISTRIBUZIONE DI PROBABILITÀ – METODO DEI MINIMI QUADRATI – LONDON SCHOOL OF ECONOMICS – ELABORATORE ELETTRONICO
Mostra altri risultati Nascondi altri risultati su Econometria (7)
Mostra Tutti

STATISTICA

Enciclopedia Italiana - V Appendice (1995)

STATISTICA Pietro Muliere Ester Capuzzo (XXXII, p. 506; App. I, p. 1018; IV, III, p. 447) ''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] che per poter valutare la probabilità di eventi futuri sulla base di eventi passati (noti) occorrerà stabilire un legame logico di dipendenza tra tutti gli eventi (passati e futuri). Uno schema che negherebbe l'essenza del ragionamento induttivo è ... Leggi Tutto
TAGS: CAMERE DI COMMERCIO, INDUSTRIA, ARTIGIANATO E AGRICOLTURA – ISTITUTO NAZIONALE PER LA PREVIDENZA SOCIALE – ISTITUTO POLIGRAFICO E ZECCA DELLO STATO – ENTE NAZIONALE PER L'ENERGIA ELETTRICA – COMITATO OLIMPICO NAZIONALE ITALIANO
Mostra altri risultati Nascondi altri risultati su STATISTICA (15)
Mostra Tutti

MISES, Richard von

Enciclopedia Italiana - III Appendice (1961)

MISES, Richard von Vito A. BELLEZZA Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] Nelle questioni di tecnica metodologica e di filosofia della scienza, il M., che fece parte del "Circolo" o "Scuola logica di Berlino", d'indirizzo affine al "Circolo di Vienna", si muove nell'ambito del neopositivismo. Egli ha considerato l'analisi ... Leggi Tutto
TAGS: CALCOLO DELLE PROBABILITÀ – FILOSOFIA DELLA SCIENZA – NEOPOSITIVISMO LOGICO – CIRCOLO DI VIENNA – ESISTENZIALISMO
Mostra altri risultati Nascondi altri risultati su MISES, Richard von (3)
Mostra Tutti

luogo

Enciclopedia on line

Astronomia Posizione che un astro ha sulla sfera celeste e che è espressa mediante le sue coordinate. Si chiama: l. apparente, se la determinazione delle coordinate è fatta correggendole soltanto l’effetto [...] ), se le coordinate sono riferite alla posizione dell’osservatore sulla superficie della Terra. Filosofia Nella retorica e nella logica, già in Aristotele sono detti luoghi (gr. τόποι) gli schemi formali mediante i quali sia possibile ricercare le ... Leggi Tutto
CATEGORIA: CRITICA RETORICA E STILISTICA – ALLESTIMENTI APPARECCHIATURE E MATERIALI – CORPI CELESTI – GEOMETRIA – LOGICA MATEMATICA – LOGICA – DOTTRINE TEORIE CONCETTI
TAGS: INSTITUTIO ORATORIA – DRAMMA LITURGICO – SFERA CELESTE – ELIOCENTRICHE – CIRCONFERENZA
Mostra altri risultati Nascondi altri risultati su luogo (2)
Mostra Tutti

intersezione

Enciclopedia on line

Matematica Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] è il punto di contatto preso con molteplicità d’intersezione 2. Nella teoria degli insiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e si designa con A∙B o con A ⋃ B, la classe di ... Leggi Tutto
CATEGORIA: GEOMETRIA – LOGICA MATEMATICA – EDILIZIA
TAGS: SCIENZA DELLE COSTRUZIONI – TEORIA DEGLI INSIEMI – GEOMETRIA ALGEBRICA – LOGICA MATEMATICA – LUOGO GEOMETRICO
Mostra altri risultati Nascondi altri risultati su intersezione (1)
Mostra Tutti

La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz

Storia della Scienza (2002)

La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz Massimo Mugnai Gottfried Wilhelm Leibniz Gli anni giovanili Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] e un linguaggio nel quale rappresentare tutti i ragionamenti di tipo assertorio. Leibniz ritiene in tal modo di potenziare la logica non solo per quel che riguarda la tradizionale arte del giudizio (ars judicandi), ma anche per ciò che concerne la ... Leggi Tutto
CATEGORIA: BIOGRAFIE – FISICA MATEMATICA – METAFISICA
1 2 3 4 5 6 7 8 ... 27 ... 46
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,...
logicismo
logicismo s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
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