• 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
6 risultati
Tutti i risultati [28]
Temi generali [6]
Matematica [15]
Informatica [8]
Cibernetica e intelligenza artificiale [3]
Analisi matematica [2]
Geometria [2]
Algebra [2]
Biografie [2]
Aritmetica [1]
Cosmologia [1]

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, [...] α non è accettata, ovvero la risposta è 0, se la macchina si arresta in uno stato di S−F. La teoria della computabilità insegna che possono esistere stringhe per cui la macchina non si arresta mai. In linea teorica anche queste stringhe non sono ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

computabile

Dizionario delle Scienze Fisiche (1996)

computabile computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] o, in altri termini, le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

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 I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca di Gödel costituiscano un passo fondamentale per utilizzare la teoria della r. nei problemi di decisione. Infatti, avvenuta l ... 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

L'Universo matematico

Frontiere della Vita (1998)

L'Universo matematico John D. Barrow (Astronomy Centre, University of Sussex, Brighton, Gran Bretagna) Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] l'abilità di comprendere cose come la teoria quantistica, i buchi neri, la teoria della relatività, pur non avendo di per sé umana. La computabilità Il costruttivismo, però, ci insegna qualcosa sul carattere matematico della natura. Possiamo vedere ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

costruttivismo

Enciclopedia on line

Arte e architettura Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] Bagrickij, V.A. Lugovskoj, V.M. Inber) e, soprattutto, nel campo dell’architettura con le realizzazioni e i progetti dei fratelli Vesnin, di K.S. ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ... Leggi Tutto
CATEGORIA: ACCADEMIE SCUOLE E MOVIMENTI – TEMI GENERALI
TAGS: EPISTEMOLOGICO – AVANGUARDIA – MATEMATICA – SOCIALISMO – VCHUTEMAS
Mostra altri risultati Nascondi altri risultati su costruttivismo (2)
Mostra Tutti

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 [...] se è riconosciuto da un semigruppo aperiodico. La teoria delle varietà di linguaggi razionali si deve a Samuel e b−1=ε appartengono all'algebra generata da L. Computabilità Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA
Vocabolario
computàbile
computabile computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...
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