• 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
vocabolario
7 risultati
Tutti i risultati [7]
Matematica [5]
Filosofia [3]
Logica [2]
Fisica [2]
Temi generali [2]
Informatica [2]
Biografie [1]
Biologia [1]
Scienze demo-etno-antropologiche [1]
Metafisica [1]

ricorsività

Enciclopedia on line

ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo. Teoria della ricorsività La motivazione originaria per lo studio della r. fu soprattutto il problema della decisione per le teorie formali (formulato da E. Schröder nel 1895 e ripreso ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: FUNZIONE RICORSIVA PRIMITIVA – FUNZIONE DI ACKERMANN – FUNZIONI RICORSIVE – TEORIA DEI NUMERI – NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su ricorsività (3)
Mostra Tutti

recursione

Dizionario delle Scienze Fisiche (1996)

recursione recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logica matematica, sinon. di ricorrenza. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

ricursione

Dizionario delle Scienze Fisiche (2012)

ricursione ricursióne [LSF] Var. di recursione. ◆ [INF] R. primitiva e primitiva limitata: v. complessità di calcolo: I 663 b, c. ... Leggi Tutto
CATEGORIA: TEMI GENERALI

Kleene, Stephen Cole

Enciclopedia on line

Kleene, Stephen Cole Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: INTUIZIONISMO – CONNECTICUT – RECURSIONE – WISCONSIN – HARTFORD
Mostra altri risultati Nascondi altri risultati su Kleene, Stephen Cole (3)
Mostra Tutti

Hauptsatz di Gentzen

Enciclopedia della Scienza e della Tecnica (2008)

Hauptsatz di Gentzen Silvio Bozzi Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] e a teorie più potenti dell’aritmetica utilizzando principi metateorici – in particolare principi d’induzione o di recursione – che trascendono il punto di vista finitista ma conservano un qualche carattere costruttivo. Ricerche importanti in questo ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: TEORIA DELLE CATEGORIE – RECURSIONE

lambda-calcolo

Enciclopedia della Scienza e della Tecnica (2008)

lambda-calcolo Silvio Bozzi Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] distinzioni tra le espressioni e questo risulta fondamentale per studiare l’esistenza di punto fissi e principî di recursione; è però possibile introdurre distinzioni di tipo (distinguendo individui da funzioni, funzioni da funzioni di funzioni, ecc ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGI DI PROGRAMMAZIONE – TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – FUNZIONI RICORSIVE – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su lambda-calcolo (1)
Mostra Tutti

COMPLESSITA'

Enciclopedia Italiana - VI Appendice (2000)

Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] i processi di organizzazione, produzione e creazione nel mondo complesso della vita e della storia umana. Il principio di recursione organizzatrice va al di là del principio di retroazione (feedback); esso va oltre la nozione di regolazione per ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – TEORIA SINTETICA DELL'EVOLUZIONE – MEZZI DI COMUNICAZIONE DI MASSA – CORRISPONDENZA BIUNIVOCA – EQUAZIONE DIFFERENZIALE
Vocabolario
recursióne
recursione recursióne s. f. [dal lat. recursio -onis, der. di recurrĕre «ricorrere»]. – In logica matematica, sinon. di ricorrenza.
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