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

algoritmo

Enciclopedia on line

Matematica Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] concetto di operazione effettiva (realizzabile cioè mediante a.). Su questa linea si sviluppano il concetto di funzione ricorsiva, la definizione delle funzioni mediante l’operatore di astrazione lambda e i sistemi di combinatori di H.B. Curry. Dall ... Leggi Tutto
CATEGORIA: ALGEBRA – PROGRAMMAZIONE E PROGRAMMI
TAGS: MACCHINA DI TURING – FUNZIONE RICORSIVA – DETERMINISMO – INFORMATICA – MATEMATICA
Mostra altri risultati Nascondi altri risultati su algoritmo (6)
Mostra Tutti

Cibernetica

Enciclopedia del Novecento (1975)

Cibernetica Ernest H. Hutten di Ernest H. Hutten Cibernetica sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] e generali, di ricorsività o di procedimenti iterativi; alla fine, si è arrivati al concetto molto ampio di funzione ricorsiva generale, in cui non appare più l'elemento iterativo (Herbrand-Gödel-Kleene). Il concetto di ricorsività generale precisa ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE
TAGS: INTELLIGENZA ARTIFICIALE – APPROSSIMAZIONE NUMERICA – RIVOLUZIONE INDUSTRIALE – EQUAZIONI DIFFERENZIALI – PROGRAMMAZIONE LINEARE
Mostra altri risultati Nascondi altri risultati su Cibernetica (6)
Mostra Tutti

Informatica

Enciclopedia Italiana - VI Appendice (2000)

Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] , è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare le funzioni calcolate da programmi ricorsivi come i punti fissi associati a tali programmi. L'approccio denotazionale ha il pregio di una notevole ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

SEGNALE

Enciclopedia Italiana - V Appendice (1994)

SEGNALE Mario Salerno Elaborazione del segnale. - La nozione di s. è di grande rilevanza non soltanto nei vari settori della tecnologia dell'informazione, e in particolare nelle telecomunicazioni, nell'elettronica, [...] s0 (tipicamente s0=0), e poi ripetere il calcolo dell'espressione ricorsiva [1] per successivi valori di k, ottenendo un campione del fare in modo che tutti i processori parziali siano in funzione per tutto il tempo utile, è necessario che i relativi ... Leggi Tutto
TAGS: TRASFORMATA DI LAPLACE – TRASFORMATE DI FOURIER – CIRCUITO ELETTRONICO – PROCESSO STOCASTICO – CIRCUITI INTEGRATI
Mostra altri risultati Nascondi altri risultati su SEGNALE (6)
Mostra Tutti

Computer science

Enciclopedia della Scienza e della Tecnica (2008)

Computer science Scott Kirkpatrick La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] risparmio sul numero di moltiplicazioni grazie a una procedura ricorsiva di decomposizione nel prodotto fra matrici più piccole. la qualità totale del sistema, misurati da una data funzione costo. Quando non si ottengono più miglioramenti la ricerca ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: MASSACHUSETTS INSTITUTE OF TECHNOLOGY – PROGRAMMAZIONE ORIENTATA AGLI OGGETTI – PROBLEMA DEL COMMESSO VIAGGIATORE – MEMORIZZAZIONE A LUNGO TERMINE – LINGUAGGIO DI PROGRAMMAZIONE
Mostra altri risultati Nascondi altri risultati su Computer science (11)
Mostra Tutti

La grande scienza. Computer science

Storia della Scienza (2003)

La grande scienza. Computer science Scott Kirkpatrick Computer science La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] risparmio sul numero di moltiplicazioni grazie a una procedura ricorsiva di decomposizione nel prodotto fra matrici più piccole. la qualità totale del sistema, misurati da una data funzione costo. Quando non si ottengono più miglioramenti la ricerca ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI

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

ricorsione

Enciclopedia della Scienza e della Tecnica (2008)

ricorsione Mauro Cappelli Metodo per definire funzioni in modo tale che la funzione includa sé stessa nella propria definizione. Si tratta di una tecnica di programmazione molto potente e molto sfruttata [...] quando nella definizione compare la chiamata ad altra procedura o funzione che direttamente o indirettamente richiama la procedura o funzione di partenza. La chiamata ricorsiva termina al verificarsi di una condizione particolare, detta di uscita ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: INFORMATICA TEORICA – INFORMATICA – FATTORIALE – FRATTALI
Mostra altri risultati Nascondi altri risultati su ricorsione (3)
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
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