• 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
3 risultati
Tutti i risultati [46]
Logica matematica [3]
Matematica [11]
Fisica [7]
Biologia [6]
Antropologia fisica [5]
Fisica matematica [5]
Storia della fisica [4]
Astronomia [4]
Informatica [4]
Biochimica [3]

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] tra derivazioni naturali e funzionali (il cosiddetto isomorfismo di Curry-Howard) con i conseguenti rapporti con il lambda calcolo che coinvolgeranno più tardi anche la teoria delle categorie. Dal punto di vista della teoria riduzionista i risultati ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

operatore

Enciclopedia on line

Biologia In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone). Filosofia In filosofia analitica, un’espressione [...] quello di d’Alembert: ∂2/∂x2−∂2/∂y2 ecc. Calcolo operatorio Il calcolo operatorio e l’interesse allo studio degli o. come enti attributo a essa corrispondente. Esso si chiama o. lambda (simbolo λ). Nella logica estensionale ogni attributo ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA
TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI
Mostra altri risultati Nascondi altri risultati su operatore (2)
Mostra Tutti

lambda

Enciclopedia on line

Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l. biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] temperatura (in particolare a 2,17K per l’He4), un andamento che ricorda la forma della lettera l. Matematica L. calcolo (o λ-calcolo) Sistema formale sviluppato negli anni 1930 da A. Church, con il contributo di S.C. Kleene, allo scopo di studiare ... Leggi Tutto
CATEGORIA: GRAMMATICA – TEMI GENERALI – ANTROPOLOGIA FISICA – MICROBIOLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – LOGICA MATEMATICA
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – MACCHINA DI TURING – ESPRESSIONE GENICA – FISICA SUBNUCLEARE – SUTURA LAMBDOIDEA
  • 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