• 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
75 risultati
Tutti i risultati [291]
Matematica [75]
Informatica [45]
Temi generali [42]
Economia [38]
Fisica [23]
Ingegneria [21]
Biologia [19]
Biografie [19]
Medicina [17]
Programmazione e programmi [16]

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 [...] in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni espressione computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ... 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

Bellman, Richard Ernest

Enciclopedia on line

Matematico statunitense (New York 1920 - Santa Monica 1984). Laureatosi al Brooklyn College nel 1941, ha conseguito il PhD in matematica alla Princeton University nel 1946. Professore alla University of [...] equazioni differenziali in problemi di ottimizzazione e, più in generale, di ricerca operativa, sviluppando il settore della programmazione dinamica. Il suo nome è inoltre legato alla fondazione della teoria degli insiemi fuzzy, che trovano impiego ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: INTELLIGENZA ARTIFICIALE – EQUAZIONI DIFFERENZIALI – TEORIA DEGLI INSIEMI – PROCESSI STOCASTICI – RICERCA OPERATIVA

Böhm, Corrado

Enciclopedia on line

Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LINGUAGGI DI PROGRAMMAZIONE – TEOREMA DI BÖHM-JACOPINI – MACCHINA DI TURING – MATEMATICA – LOSANNA

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 [...] . La macchina a registri illimitati. − Nell'ambito del suo programma fondazionale, D. Hilbert aveva ripetutamente ribadito la convinzione che ogni problema matematico potesse essere risolto mediante un numero finito di operazioni. Tale convinzione ... Leggi Tutto

La grande scienza. Cronologia scientifica: 1981-1990

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1981-1990 1981-1990 1981 Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] dei modelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori aveva lanciato il suo famoso 'programma', a cui molti matematici dedicarono il loro lavoro: data una varietà proiettiva liscia di dimensione 3, trovare un numero finito di ... 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

La grande scienza. Cronologia scientifica: 1941-1950

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1941-1950 1941-1950 1941 Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] . È realizzata da un gruppo di meteorologi statunitensi guidati dal matematico Johann von Neumann, dell'Institute for Advanced Study di Princeton, utilizzando programmi di calcolo con elaboratori elettronici. Il risultato positivo determina il ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

La Rivoluzione scientifica: luoghi e forme della conoscenza. Università e ordini religiosi

Storia della Scienza (2002)

La Rivoluzione scientifica: luoghi e forme della conoscenza. Universita e ordini religiosi Florence C.Hsia Antonella Romano Università e ordini religiosi La retorica incentrata sull'idea di riforma [...] e dei servizi da esse offerti, che andavano dalla programmazione di lezioni su queste materie fino alla creazione di un numero sempre crescente di teatri per le lezioni di anatomia. La matematica Nelle scuole dell'inizio dell'Età moderna l'istruzione ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA – ISTITUTI RIVISTE E PUBBLICAZIONI SCIENTIFICHE

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] definito a priori. Un approccio che si prefigge di caratterizzare il comportamento di un programma definendo, invece, direttamente, in termini matematici, la funzione che esso calcola nel dominio dei dati, a partire dalla struttura sintattica ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI
TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

Previsione

Enciclopedia delle scienze sociali (1996)

Previsione Italo Scardovi di Italo Scardovi Previsione La previsione nella scienza Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] passato e il futuro di una natura non soggetta al divenire. La matematica di quel sistema era la sintassi dell'ordine e, insieme, della re oeconomica, dove l'incertezza delle strategie, dei programmi, delle scelte è un elemento del sistema, prevale ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – SOCIOLOGIA

Previsioni economiche

Enciclopedia delle scienze sociali (1996)

Previsioni economiche Giovanni De Cindio di Giovanni De Cindio Previsioni economiche Presupposti storici La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] o di minimo per una o più variabili. Questi modelli sono sviluppati nell'ambito della programmazione economica. Le difficoltà di tipo matematico consentono una trattazione agevole soltanto per i modelli rappresentati da sistemi di equazioni lineari ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA – TEMI GENERALI – METODI TEORIE E PROVVEDIMENTI
1 2 3 4 5 6 7 8
Vocabolario
programma
programma s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
simbòlico
simbolico simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...
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