• 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]

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] in larga misura formali come le scienze dei sistemi e della programmazione, le teorie della decisione e dei giochi e la logica dell grafici a 104 anni fa; i primordi dei metodi matematici e astronomici a 103 anni fa; ad appena qualche secolo ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE
Mostra altri risultati Nascondi altri risultati su Metodo (4)
Mostra Tutti

La grande scienza. Cronologia scientifica: 1951-1960

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1951-1960 1951-1960 1951 Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] lavori è noto come teoria KAM, dalle iniziali dei nomi dei matematici che l'hanno ideata. Il linguaggio FORTRAN. Nasce in questo anno (CLOS), una versione di Common lisp basata sulla programmazione a oggetti. Soluzione del problema di Post. Nel ... 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: 1991-2000

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1991-2000 1991-2000 1991 Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] Misure di irrazionalità per π, ζ(2) e ζ(3). Il matematico giapponese Masayoshi Hata ottiene la migliore maggiorazione tutt'oggi nota per la spaziale statunitense Deep Space 1. Si tratta del primo programma spaziale della NASA per il XXI sec. e ha ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – BIOCHIMICA – STORIA DELLA BIOLOGIA – STORIA DELLA CHIMICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Probabilita

Enciclopedia del Novecento (1980)

Probabilità Gian-Carlo Rota e Joseph P.S. Kung *La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi. sommario: 1. Introduzione. [...] Poisson. - Lo spazio campione di Poisson fornisce una base matematica formale allo studio di fenomeni di vario tipo, quali ad mediante i precedenti, o come la lunghezza della ‛programmazione' ricorsiva più piccola dell'n-esimo termine mediante ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA
TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – MATRICE DELLE PROBABILITÀ DI TRANSIZIONE – EQUAZIONE ALLE DERIVATE PARZIALI – LEGGE DEBOLE DEI GRANDI NUMERI – TEORIA QUANTISTICA DEI CAMPI
Mostra altri risultati Nascondi altri risultati su Probabilita (12)
Mostra Tutti

L'Età dei Lumi: matematica. Lo sviluppo della teoria della probabilità e della statistica

Storia della Scienza (2002)

L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica Oscar Sheynin Lo sviluppo della teoria della probabilità e della statistica I primi sviluppi del calcolo delle [...] su 1. Come nel caso di de Moivre, i matematici continentali trovarono difficoltà a leggere la memoria di Bayes sia importante teorema nella teoria, allora non ancora nota, della programmazione lineare. In altri termini, avendo imposto la restrizione [ ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA – STORIA DELLA MATEMATICA

La scienza presso le civiltà precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civiltà inca

Storia della Scienza (2001)

La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca Gary Urton Jean-François Genotte La natura della conoscenza e delle pratiche [...] complessi in campi quali l'astronomia, l'aritmetica e la matematica, la calendaristica, la metallurgia, l'agronomia, ma non delle risorse, come pure l'osservanza di esigenze di programmazione in vista del loro sfruttamento ottimale. L'agricoltura è ... Leggi Tutto
CATEGORIA: COMPUTO DEL TEMPO – STORIA DELL ASTRONOMIA – BOTANICA PER REGIONI E PAESI – STORIA DELLA MATEMATICA – AMERICA – AGRICOLTURA NELLA STORIA – AGRONOMIA E TECNICHE AGRARIE

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. [...] agli strumenti di comunicazione, ha però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni fermarsi mai (come ben sanno i programmatori: ogni programmatore ha scritto un programma che entra in un loop). Un ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Computazione, teoria della Fabrizio Luccio La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] rimasto insoluto anche nella formalizzazione dei Principia matematica di Bertrand Russell e Alfred N. calcolatore elettronico esistente, corredato di memoria illimitata e di un programma per l'accettazione di stringhe (che abbia cioè uscita 0 ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

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 [...] teorica, che ne hanno allargato gli orizzonti. Alla base del programma di Hilbert sta l'idea che ‒ ai fini dell'analisi della correttezza e affidabilità ‒ le teorie matematiche si possono vedere come sistemi deduttivi definiti in opportuni linguaggi ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

Complessità algoritmica

Enciclopedia della Scienza e della Tecnica (2007)

Complessità algoritmica Fabrizio Luccio Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] 'efficienza di un algoritmo è l'espressione matematica del tempo che esso richiede in funzione della V[1],…,V[n])=true then accetta) else SAT(k+1) Poiché il programma costruisce 2n configurazioni binarie di n elementi, e per ognuna di essi esegue un ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI
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