• 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
atlante
il chiasmo
lingua italiana
167 risultati
Tutti i risultati [3303]
Matematica [167]
Diritto [655]
Biografie [556]
Storia [324]
Temi generali [253]
Filosofia [239]
Religioni [257]
Economia [194]
Scienze demo-etno-antropologiche [160]
Diritto civile [167]

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] luoghi» della disputa) dovrebbe servire a porre ordine in un campo tradizionalmente considerato dominio dei retori L.E. Brouwer a partire dal primo decennio del Novecento. Brouwer si oppone alla teoria logicista che considera la l. come fondamento ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale A1 ⋁...⋁ Ai−1 ⋁ Aj+1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenza logica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s(0), w) ⋁¬P(w ... Leggi Tutto

sistema

Enciclopedia on line

sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] del primo ordine; il contrario non è sempre possibile; un s. di ordine k di n equazioni differenziali si può ricondurre a un s. di nk equazioni del primo ordine di tipo analogico da uno di tipo logico e formale. Il s. analogico consiste nel ... Leggi Tutto
CATEGORIA: ANATOMIA MORFOLOGIA CITOLOGIA – SISTEMATICA E FITONIMI – TEMI GENERALI – CHIMICA FISICA – CHIMICA INORGANICA – FISICA MATEMATICA – METROLOGIA – OTTICA – ALGEBRA – ANATOMIA – ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – MONETAZIONE – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO – METAFISICA – SCIENZE DELLA FORMAZIONE – SOCIOLOGIA – POLITOLOGIA – MECCANICA APPLICATA
TAGS: EQUAZIONI ALLE DERIVATE PARZIALI – FONDO MONETARIO INTERNAZIONALE – TEOREMA DI ROUCHÉ-CAPELLI – SISTEMA MONETARIO EUROPEO – ACCORDI DI BRETTON WOODS
Mostra altri risultati Nascondi altri risultati su sistema (3)
Mostra Tutti

ALGEBRA

Enciclopedia Italiana - IV Appendice (1978)

Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] polacco J. Łoš che collega questa tecnica algebrica alla costruzione di modelli di una teoria del primo ordine v. logica matematica in questa App. "Uno dei più importanti concetti relativi ad a. universali " (G. Grätzer) è quello di "a. libere". Si ... Leggi Tutto
TAGS: ACCADEMIA NAZIONALE DEI LINCEI – SISTEMI ALGEBRICI GENERALI – TEORIA DEL PRIMO ORDINE – ESTENSIONE TRASCENDENTE – TEORIA DELLE CATEGORIE
Mostra altri risultati Nascondi altri risultati su ALGEBRA (2)
Mostra Tutti

SKOLEM, Thoralf

Enciclopedia Italiana - V Appendice (1994)

SKOLEM, Thoralf Carlo Cattani Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] da S. nei fondamenti della matematica e nella logica. Estendendo un risultato di L. Löwenheim (1915), ha dimostrato che se un insieme finito o numerabile di enunciati del linguaggio predicativo del primo ordine è soddisfacibile in un qualche dominio ... Leggi Tutto
TAGS: TEORIA DEGLI INSIEMI – CHRISTIAN MICHELSEN – TEORIA DEI MODELLI – TEORIA DEI NUMERI – LUCE ZODIACALE
Mostra altri risultati Nascondi altri risultati su SKOLEM, Thoralf (4)
Mostra Tutti

PEANO, Giuseppe

Dizionario Biografico degli Italiani (2015)

PEANO, Giuseppe Clara Silvia Roero PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri. Frequentò le scuole [...] sull’esistenza della soluzione di un’equazione differenziale del primo ordine, assumendo la sola ipotesi della continuità, e , n. 48, pp. 201-342; E.A. Zaitsev, An interpretation of P.’s logic, ibid., n. 46, 4, pp. 367-383; C.S. Roero, I matematici ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: JOHANN PETER GUSTAV LEJEUNE DIRICHLET – CENTRO DI DOCUMENTAZIONE TERRITORIALE – ACCADEMIA DELLE SCIENZE DI TORINO – FUNZIONE DI PIÙ VARIABILI – GEOMETRIA DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su PEANO, Giuseppe (6)
Mostra Tutti

L'Ottocento: matematica. Il rigore in analisi

Storia della Scienza (2003)

L'Ottocento: matematica. Il rigore in analisi Umberto Botta Il rigore in analisi L'eredità di Lagrange All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] x) fosse una soluzione singolare di un'equazione differenziale del primo ordine che, senza perdita di generalità, si poteva sempre (1849-1925) nel 1895. Il rigore logico era un elemento essenziale del pensiero matematico, affermava allora Klein, ma ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA – STORIA DELLA MATEMATICA

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica Umberto Bottazzini Filosofia e pratica matematica Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] per specificare cosa significhi 'definito'. La questione della definibilità, così come quella della logica da utilizzare (del primo ordine o del secondo ordine?) sarà oggetto di lunghe discussioni negli anni Venti, con la ripresa delle ricerche sull ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Scienza greco-romana. Archimede

Storia della Scienza (2001)

Scienza greco-romana. Archimede Reviel Netz Archimede Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] del cono non può essere minore di quella del triangolo di misura e dunque può essere soltanto uguale. Questa è la struttura logica del primo matematica alla fisica, ha senso però invertire l’ordine e ammettere che il comportamento di una leva possa ... Leggi Tutto
CATEGORIA: BIOGRAFIE – STORIA DELLA MATEMATICA

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

La grande scienza. Automi e linguaggi formali Dominique Perrin Automi e linguaggi formali La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] Robert McNaughton che essi corrispondono alla parte del primo ordine (cioè senza variabili di insiemi) della detta teoria. Più recentemente è stata introdotta una variante di questa logica, la 'logica temporale', che viene applicata alla verifica dei ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE
1 2 3 4 5 6 7 8 ... 17
Vocabolario
ordine
ordine órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
priorità
priorità s. f. [dal lat. mediev. prioritas -atis, der. del lat. prior -oris «precedente»]. – 1. Anteriorità, antecedenza nei confronti di altro, o di altri: rivendicare la p. di un’invenzione; hanno tenuto conto della p. della mia domanda; rispettare...
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