• 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
7 risultati
Tutti i risultati [58]
Informatica [6]
Matematica [20]
Storia della matematica [5]
Biografie [4]
Filosofia [3]
Programmazione e programmi [2]
Algebra [2]
Cibernetica e intelligenza artificiale [2]
Temi generali [2]
Logica matematica [2]

funzioni ricorsive

Enciclopedia della Scienza e della Tecnica (2008)

funzioni ricorsive Mauro Cappelli Classe delle funzioni computabili o algoritmiche, ossia delle funzioni n-arie f tali che esiste un algoritmo per computare il valore f(x1,...,x{[) per ogni n-pla di [...] iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Esempi di funzioni ricorsive primitive sono le comuni funzioni aritmetiche elementari (predecessore di x, controsegno di x, fattoriale di x, somma di x e ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: ALGORITMO
Mostra altri risultati Nascondi altri risultati su funzioni ricorsive (1)
Mostra Tutti

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

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. [...] f tale che f(x) è il minimo intero m per il quale g(x,m)=0. È un risultato classico che le funzioni ricorsive e le macchine di Turing, come pure molti altri formalismi, definiscono le stesse classi di oggetti computabili. Che esse corrispondano a ciò ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

Automi e linguaggi formali Dominique Perrin La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] tale che f(x) è il minimo intero m per il quale g(x,m)=0. È un risultato classico che le funzioni ricorsive e le macchine di Turing, come pure molti altri formalismi, definiscano le stesse classi di oggetti computabili. Secondo la cosiddetta tesi di ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

INFORMATICA

Enciclopedia Italiana - IV Appendice (1979)

INFORMATICA Paolo Ercoli Alberto Marini Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] T-computabili coincidono con altre due classi di funzioni proposte come totalità delle funzioni calcolabili, cioè con le funzioni definibili con il cosiddetto "λ-calcolo" di A. Church e con le funzioni generali ricorsive di K. Gödel. In ogni caso le ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – TEORIA DELL'OTTIMIZZAZIONE – TEORIA DELLA COMPUTABILITÀ – ELABORATORE ELETTRONICO – PROBLEMA DELL'ARRESTO
Mostra altri risultati Nascondi altri risultati su INFORMATICA (12)
Mostra Tutti

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
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...
definibilità
definibilita definibilità s. f. [der. di definibile]. – Possibilità di essere definito. In matematica e in logica matematica, la proprietà che ha un ente di essere calcolabile, per es. mediante funzioni ricorsive.
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