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

calcolatore

Enciclopedia on line

(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali. Cenni storici Le origini Il desiderio di realizzare uno strumento in grado di compiere [...] scienza dei c. sono: la rappresentazione formalizzata di problemi, dati e procedure; la teoria della computabilità e l’analisi degli algoritmi; lo studio e l’applicazione di linguaggi evoluti orientati a specifiche classi di problemi; la definizione ... Leggi Tutto
CATEGORIA: ELABORATORI
TAGS: TEORIA DELLA COMPUTABILITÀ – UNITÀ ARITMETICA E LOGICA – ELABORATORE ELETTRONICO – SECONDA GUERRA MONDIALE – SCIENZA DEI CALCOLATORI
Mostra altri risultati Nascondi altri risultati su calcolatore (5)
Mostra Tutti

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 [...] , di cui l'automa costituisce un modello assai semplice. Tale modello però lo si può mettere a base della teoria della computabilità che si occupa di stabilire quali funzioni possono essere calcolate da un automa o in generale da un elaboratore ... 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

La grande scienza. Intelligenza artificiale

Storia della Scienza (2003)

La grande scienza. Intelligenza artificiale Marco Somalvico Francesco Amigoni Viola Schiaffonati Intelligenza artificiale In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan Turing. L'idea alla base del progetto cibernetico ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE

Intelligenza artificiale

Enciclopedia della Scienza e della Tecnica (2008)

Intelligenza artificiale Francesco Amigoni Viola Schiaffonati Marco Somalvico L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan M. Turing. L’idea alla base del progetto ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE
TAGS: ENCICLOPEDIA ITALIANA DI SCIENZE LETTERE ED ARTI – BELL TELEPHONE LABORATORIES – TEORIA DELLA COMPUTABILITÀ – GOTTFRIED WILHELM LEIBNIZ – SECONDA GUERRA MONDIALE
Mostra altri risultati Nascondi altri risultati su Intelligenza artificiale (8)
Mostra Tutti

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

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

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