• 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
atlante
webtv
113 risultati
Tutti i risultati [113]
Informatica [35]
Matematica [26]
Temi generali [20]
Cibernetica e intelligenza artificiale [10]
Fisica [9]
Programmazione e programmi [9]
Medicina [8]
Filosofia [7]
Ingegneria [7]
Biologia [7]

computazione quantistica

Lessico del XXI Secolo (2012)

computazione quantistica computazióne quantìstica locuz. sost. f. – Nella scienza dell'informazione, computazione basata sulla trattazione del dato quantistico. La c. q. ha introdotto un campo nuovo [...] distribuzione in parte pubblica estremamente efficiente. Porte e circuiti. – L’esigenza di avere, nel caso quantistico, computer capaci di eseguire tutte le operazioni di una macchina di Turing classica, ha portato a introdurre, anche nella c. q., il ... Leggi Tutto

definibilita

Enciclopedia della Matematica (2013)

definibilita definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] costruito è detto n-esimo numero di Richard. Ora si consideri la di una definizione rigorosa del concetto di → funzione calcolabile; la risposta a questa esigenza è fornita dallʼintroduzione di alcuni modelli di calcolo come la macchina di → Turing ... Leggi Tutto
TAGS: TEORIA DELLA CALCOLABILITÀ – ANTINOMIA DI → RUSSELL – NUMERI INTERI POSITIVI – MACCHINA DI → TURING – TEORIA DEGLI INSIEMI

automa a programma

Enciclopedia della Matematica (2013)

automa a programma automa a programma automa universale che opera secondo un programma di calcolo, cioè secondo una successione di istruzioni espresse in un linguaggio di programmazione. Il suo operare, [...] allo stato finale (risultato del calcolo). Esso è perciò caratterizzato da: • una memoria analoga al nastro della macchina di Turing; alcune parti della sua memoria sono però individuabili con un «nome» e sono dette registri, ognuno dei quali ... Leggi Tutto
TAGS: UNITÀ CENTRALE DI ELABORAZIONE – LINGUAGGIO DI PROGRAMMAZIONE – UNITÀ ARITMETICO-LOGICA – MACCHINA DI → TURING – UNITÀ DI CONTROLLO

Post, sistema di

Enciclopedia della Matematica (2013)

Post, sistema di Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] sono la macchina di → Turing, le → funzioni ricorsive e il → lambda-calcolo. Nel sistema di Post il calcolo di una funzione matematica è simulato dalla manipolazione di una stringa di simboli attraverso un insieme di regole stabilite in modo ... Leggi Tutto
TAGS: MACCHINA DI → TURING – FUNZIONE CALCOLABILE – FUNZIONE MATEMATICA – FUNZIONI RICORSIVE – LINGUAGGIO FORMALE

universale

Dizionario delle Scienze Fisiche (1996)

universale universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] spec. per misurazioni geodetiche. ◆ [ALG] Fibrato u.: v. fibrati: II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] Macchina di Turing u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica ... Leggi Tutto
CATEGORIA: ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA MATEMATICA – FISICA TECNICA – GEOFISICA – METROLOGIA – OTTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

automa cellulare

Enciclopedia della Scienza e della Tecnica (2008)

automa cellulare Mauro Cappelli Modello per lo studio dell’evoluzione di sistemi complessi, introdotto negli anni Cinquanta del secolo scorso, da John von Neumann e Stanislaw Ulam. Un automa cellulare [...] biologia. Ma le possibili applicazioni sono pressoché infinite: si pensi che alcuni automi cellulari, cosiddetti universali, sono in grado di simulare il comportamento di ogni altro automa cellulare o macchina di Turing. → Self-organized criticality ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: MACCHINA DI TURING – SISTEMI COMPLESSI – JOHN VON NEUMANN – STANISLAW ULAM

Church, tesi di

Enciclopedia della Matematica (2013)

Church, tesi di Church, tesi di tesi elaborata dal logico statunitense A. Church; afferma che ogni funzione calcolabile è una funzione ricorsiva e, viceversa, ogni funzione ricorsiva è una funzione calcolabile. [...] ; infatti esprimendo con un qualsiasi formalismo l’idea di → calcolabilità, si riesce a dimostrare soltanto l’ ricorsive, l’insieme delle funzioni calcolabili con una macchina di Turing e l’insieme delle funzioni rappresentabili nel λ-calcolo ... Leggi Tutto
TAGS: FUNZIONE CALCOLABILE – MACCHINA DI TURING – FUNZIONE RICORSIVA

Conway

Enciclopedia della Matematica (2013)

Conway Conway John Horton (Liverpool 1937) matematico inglese. Specialista in teoria dei gruppi, teoria dei giochi e teoria dei nodi, nonché brillante divulgatore, è noto in particolare per l’ideazione [...] , dipende da quello delle celle adiacenti e che si è dimostrato avere le stesse potenzialità di una macchina di Turing universale. Al di là degli aspetti ludici e delle particolari configurazioni che si formano nell’interazione tra celle, il gioco ... Leggi Tutto
TAGS: TEORIA DEI GIOCHI – TEORIA DEI GRUPPI – AUTOMA CELLULARE – TEORIA DEI NODI – LIVERPOOL

registro

Enciclopedia della Matematica (2013)

registro registro porzione di → memoria dell’elaboratore dedicata all’esecuzione dei programmi e delle procedure; la sua presenza nell’architettura del computer è finalizzata a velocizzare l’accesso [...] L’implementazione dei registri si effettua mediante un tipo di file particolare, detto appunto file registro. A seconda un automa avente una complessiva struttura quale quella della macchina di → Turing, ma dove parti del nastro sono utilizzate per ... Leggi Tutto
TAGS: MACCHINA DI → TURING – TEORIA DEGLI AUTOMI – COMPUTER
Mostra altri risultati Nascondi altri risultati su registro (1)
Mostra Tutti

macchina

Dizionario delle Scienze Fisiche (1996)

macchina màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f , quali i trasformatori e i raddrizzatori: v. macchine elettriche (anche per i vari tipi particolari non nominati ... Leggi Tutto
CATEGORIA: BIOFISICA – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI PLASMI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA – MECCANICA QUANTISTICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – STATISTICA E CALCOLO DELLE PROBABILITA
Mostra altri risultati Nascondi altri risultati su macchina (6)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 12
Vocabolario
màcchina
macchina màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
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