• 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
81 risultati
Tutti i risultati [81]
Matematica [28]
Informatica [9]
Storia della matematica [7]
Programmazione e programmi [5]
Logica matematica [4]
Filosofia [4]
Algebra [3]
Temi generali [3]
Analisi matematica [3]
Matematica applicata [2]

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, [...] da quei valori e la n-pla è quindi accettata. Si noti la forma ricorsiva della procedura - chiamata di SAT(k+1) all'interno di SAT(k) di S, Σ, Π, s′, b, F resta invariato, mentre la funzione di transizione è ora definita come ∂′ da S×Π su 2S×Π×{←,→}. ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

La musica nel pensiero pitagorico

Storia della civiltà europea a cura di Umberto Eco (2014)

La musica nel pensiero pitagorico Carlo Serra Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook L’individuazione matematica delle consonanze, sistematizzata [...] implica che i pesi, nel racconto, abbiano solo la funzione di dare un indice numerico, di indicare i giusti rapporti , ma che va avviandosi verso il piano formale dell’iterazione logica ricorsiva. Il suono si è fatto diagramma, la corda sonora si è ... Leggi Tutto

definizione

Enciclopedia della Matematica (2013)

definizione definizione proposizione che descrive, chiaramente e sinteticamente, un ente matematico (algebrico o geometrico) servendosi di termini aventi un significato noto. In logica, si distinguono [...] interno della teoria in cui tale definizione è assunta. La funzione di una definizione quale generatrice di concetti risulta ancor più un particolare tipo di definizione, detto definizione ricorsiva (→ ricorsività), utilizzata in particolare in quel ... Leggi Tutto
TAGS: CONCETTI PRIMITIVI – LOGICA MATEMATICA – TEORIA DEI GRUPPI – NUMERI INTERI – MATEMATICA
Mostra altri risultati Nascondi altri risultati su definizione (4)
Mostra Tutti

algoritmo

Enciclopedia della Matematica (2013)

algoritmo algoritmo procedimento sistematico di calcolo, oggi per lo più destinato a essere eseguito da un automa esecutore quale un computer. Il termine deriva dal nome latinizzato del matematico di [...] n; • la sequenza delle operazioni da effettuare, descritte da una funzione ƒ(xi), definita su tutti i valori xi in ingresso; • i primi n termini di tale successione con un algoritmo ricorsivo: l’n-esimo termine della successione è dato dall’ ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – SUCCESSIONE DI → FIBONACCI – MASSIMO COMUNE DIVISORE – ALGORITMO RICORSIVO – DIAGRAMMI DI FLUSSO

regola ricorsiva

Enciclopedia della Matematica (2013)

regola ricorsiva regola ricorsiva regola che, nella propria formulazione, “richiama sé stessa”. Tale richiamo non è tuttavia una sorta di circolo vizioso perché una regola ricorsiva definisce un oggetto [...] delle pile degli argomenti della procedura. Il principio alla base delle regole ricorsive è applicato anche nella definizione di una importante classe di funzioni, le → funzioni ricorsive, le quali hanno il ruolo di tradurre in termini formali il ... Leggi Tutto
TAGS: FUNZIONE CALCOLABILE – FUNZIONI RICORSIVE – NUMERO NATURALE – INFORMATICA – FATTORIALE

Girard

Enciclopedia della Matematica (2013)

Girard Girard Albert (Saint-Mihiel, Lorena, 1595 - L’Aia 1632) matematico francese. È noto per i suoi lavori in algebra, aritmetica e trigonometria, nell’ambito della quale gli si deve il teorema sui [...] primo le notazioni sin, cos, tan per le funzioni goniometriche e ne fornì delle tavole di valori nel campo complesso). A Girard si devono anche la prima formulazione della definizione ricorsiva della successione di Fibonacci, Fn+2 = Fn+1 + Fn, a ... Leggi Tutto
TAGS: TEOREMA FONDAMENTALE DELL’ALGEBRA – EQUAZIONI DI SECONDO GRADO – SUCCESSIONE DI FIBONACCI – DIOFANTO DI ALESSANDRIA – TRIANGOLO DI TARTAGLIA

polinomi ortogonali

Enciclopedia della Scienza e della Tecnica (2008)

polinomi ortogonali Alfio Quarteroni Si consideri lo spazio vettoriale ℙn dei polinomi algebrici di grado minore o uguale a n e sia w:(a,b)→ℝ una funzione peso, ovvero una funzione non negativa e assolutamente [...] ortogonali di Legendre così definita: per k≥0. Essa soddisfa la seguente relazione ricorsiva a tre termini: per k≥1. Se invece, sempre sull’intervallo [−1, 1] si considera la funzione peso w(x)= =(1−x2)−1/2, si ottiene la famiglia dei polinomi ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: POLINOMI DI CHEBYSHEV – POLINOMI DI JACOBI – SPAZIO VETTORIALE – INTERVALLO APERTO – ALFIO QUARTERONI
Mostra altri risultati Nascondi altri risultati su polinomi ortogonali (1)
Mostra Tutti

Laguerre, polinomi di

Enciclopedia della Matematica (2013)

Laguerre, polinomi di Laguerre, polinomi di espressi come con α > −1, sono polinomi ortogonali sulla semiretta [0, +∞) rispetto alla funzione peso x αe−x (nel caso generalizzato, nel caso classico [...] peso w(x) = e−x) è: Per esempio: Nell’intervallo [−1, 1] e relativamente alla funzione peso w(x) = 1, essi possono essere definiti dalla formula ricorsiva: con n ≥ 2. Tali polinomi, che sono soluzione dell’equazione differenziale xy″ + (1 − x)y ... Leggi Tutto
TAGS: EQUAZIONE DIFFERENZIALE – POLINOMI ORTOGONALI – SEMIRETTA – IDROGENO – ATOMO

METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] , si dimostra che in esso non è neppure rappresentabile la funzione prodotto a • b. Invece il sistema formale P′, ottenuto il nuovo simbolo • e i due assiomi che definiscono ricorsivamente il prodotto, cioè è sufficiente per la formalizzazione dell' ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA
Mostra altri risultati Nascondi altri risultati su METAMATEMATICA (4)
Mostra Tutti

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 [...] , è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare la funzione calcolata da un programma ricorsivo come il punto fisso del funzionale associato a tale programma. L'approccio denotazionale ha il pregio ... 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
1 2 3 4 5 6 7 8 ... 9
Vocabolario
ricorsivo
ricorsivo agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...
piazza
piazza s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...
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