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

FRONTIERE DELLA RICERCA ECONOMICA

XXI Secolo (2009)

Frontiere della ricerca economica John Barkley Rosser Jr Premessa La ricerca economica di ‘frontiera’ del 21° sec. è entrata nell’era postneoclassica. Sebbene la maggior parte dei libri di testo, specialmente [...] quelle basate sulla computabilità (Computability, complexity and constructivity in economic analysis, 2005). Di queste definizioni ve ne sono molte, gran parte delle quali derivano in ultima analisi dalla teoria dell’informazione e dai successivi ... Leggi Tutto

INFORMAZIONE E COMPUTAZIONE QUANTISTICA: TEORIA

XXI Secolo (2010)

Informazione e computazione quantistica: teoria Mario Rasetti Al crocevia tra scienza e tecnologia La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] è piuttosto sottile, tanto che esiste una teoria della complessità algoritmica che ne studia la struttura. In dell’operatore unitario Uf tale che Uf∣x⟩∣0⟩=∣x⟩∣f(x)⟩. Uf sarà espresso come prodotto di operatori semplici. Pur essendo la computabilità ... Leggi Tutto

costruttivismo

Dizionario di filosofia (2009)

costruttivismo Indirizzo epistemologico (sostenuto nella sua forma più radicale dai matematici intuizionisti L. E. J. Brouwer, A. Heyting) che accetta in matematica soltanto definizioni e dimostrazioni [...] meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione, ecc., ed è alla base della teoria della ricorsività. Si è invece definito costruttivismo radicale un orientamento epistemologico sviluppatosi a ... Leggi Tutto

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. [...] se è riconosciuto da un semigruppo aperiodico. La teoria delle varietà di linguaggi razionali si deve a Samuel b−1L=ε appartengono all'algebra generata da L. Computabilità Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

NUMERI

XXI Secolo (2010)

Numeri Umberto Zannier Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] che gli elementi dell’insieme ed esprime qualcosa che va oltre il tipo di infinito. Computabilità ed effettività Il più o meno come la moltiplicazione. Con i sofisticati metodi della teoria dei numeri si riesce attualmente a fattorizzare un numero al ... Leggi Tutto
CATEGORIA: ALGEBRA – ANALISI MATEMATICA – ARITMETICA

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

Post, Emil Leon

Enciclopedia on line

Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] computabilità e nel 1943 fornì una precisazione della nozione di algoritmo (algoritmo di P.); si occupò inoltre del problema della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CALCOLO PROPOSIZIONALE – FUNZIONE RICORSIVA – TEORIA DEI SISTEMI – SISTEMA FORMALE – ALGORITMO
Mostra altri risultati Nascondi altri risultati su Post, Emil Leon (2)
Mostra Tutti

Markov Andrej Andreevic jr

Enciclopedia della Matematica (2013)

Markov Andrej Andreevic jr Markov Andrej Andreevič jr (San Pietroburgo 1903 - Mosca 1979) matematico e logico russo, figlio di Andrej Markov senior. Laureatosi in fisica presso l’università di San Pietroburgo, [...] si concentrarono sulla logica, sui fondamenti della matematica e soprattutto sulla teoria degli algoritmi (algoritmo di Markov); a questo ambito di ricerca sono collegati concetti quale la computabilità secondo Markov (equivalente alla ricorsività) e ... Leggi Tutto
TAGS: FONDAMENTI DELLA MATEMATICA – GEOMETRIA DIFFERENZIALE – SECONDA GUERRA MONDIALE – EQUAZIONI DIFFERENZIALI – MECCANICA QUANTISTICA
Mostra altri risultati Nascondi altri risultati su Markov Andrej Andreevic jr (2)
Mostra Tutti
1 2 3
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