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

macchina di Turing

Enciclopedia della Scienza e della Tecnica (2008)

Macchina di Turing Mauro Cappelli Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insieme finito di simboli detto alfabeto. Ogni ;macchina di Turing deve possedere un alfabeto che contenga il simbolo speciale b (blank, spazio), i simboli 0 e ... Leggi Tutto
CATEGORIA: LOGICA – ELABORATORI
TAGS: INTELLIGENZA ARTIFICIALE – INFORMATICA TEORICA – ALAN TURING – ALGORITMO
Mostra altri risultati Nascondi altri risultati su macchina di Turing (1)
Mostra Tutti

complessità

Enciclopedia on line

complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] rispetto alle dimensioni L del problema. Un problema è detto NP (che appartiene alla classe NP) se una macchina di Turing non deterministica è in grado di risolverlo in tempo polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – LOGICA MATEMATICA
TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – EQUILIBRIO TERMODINAMICO – STRATIFICAZIONE SOCIALE – TEORIA DELLE CATASTROFI – FUNZIONE ESPONENZIALE
Mostra altri risultati Nascondi altri risultati su complessità (2)
Mostra Tutti

algoritmo

Enciclopedia on line

Matematica Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] state dimostrate equivalenti. È possibile costruire delle macchine di Turing che calcolano una qualsiasi funzione ricorsiva, dei sistemi di Post che eseguono il calcolo di una qualsiasi macchina di Turing ecc. Questo è una conferma empirica della ... Leggi Tutto
CATEGORIA: ALGEBRA – PROGRAMMAZIONE E PROGRAMMI
TAGS: MACCHINA DI TURING – FUNZIONE RICORSIVA – DETERMINISMO – INFORMATICA – MATEMATICA
Mostra altri risultati Nascondi altri risultati su algoritmo (6)
Mostra Tutti

Calcolo

Enciclopedia Italiana - VII Appendice (2006)

Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] nastro di una macchina di Turing e la memoria di un elaboratore elettronico, e tra le regole scritte sul nastro di una macchina di Turing e i programmi memorizzati nella memoria di un elaboratore elettronico. È evidente che la macchina di Turing si ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – EQUAZIONE DI SCHRÖDINGER – ELABORATORE QUANTISTICO – ELABORATORE ELETTRONICO
Mostra altri risultati Nascondi altri risultati su Calcolo (11)
Mostra Tutti

La grande scienza. Cronologia scientifica: 1961-1970

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1961-1970 1961-1970 1961 Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] tempo (o spazio) richiesta per risolvere il problema con una macchina di Turing, in funzione della lunghezza dell'input. Essi dimostrano anche l'esistenza di molte coppie di funzioni f(n)⟨g(n) per cui esistono problemi risolubili in tempo g(n) ma non ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – STORIA DELLA BIOLOGIA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] a porre certi limiti alle tecnologie: ad esempio dalla teoria matematica (dal teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione è logicamente impossibile. Da teorie scientifiche consegue l ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE
Mostra altri risultati Nascondi altri risultati su Metodo (4)
Mostra Tutti

La grande scienza. Cronologia scientifica: 1951-1960

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1951-1960 1951-1960 1951 Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] definiti da automi finiti sono detti regolari e formano una sottoclasse propria dei linguaggi riconoscibili da una macchina di Turing. Nasce l'algebra omologica. H. Cartan e S. Eilenberg pubblicano il trattato Homological algebra (completato fin dal ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Logica matematica

Enciclopedia del Novecento (1978)

Logica matematica Abraham Robinson *La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] Sembra ormai provato che la stessa nozione astratta di macchina di Turing abbia notevolmente contribuito allo sviluppo concreto dell'invenzione del calcolatore. Una macchina di Turing - che prende il nome da A. M. Turing, che la ideò nel 1936 - è in ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – SCOMPOSIZIONE IN FATTORI PRIMI – TEOREMA DEL BUON ORDINAMENTO – FUNZIONE RICORSIVA PRIMITIVA – INSIEME DEI NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su Logica matematica (9)
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, [...] computer reale possegga maggiore abilità nel risolvere problemi. Le operazioni matematiche che non possono essere calcolate da una macchina di Turing sono dette non computabili. Ne sono noti molti esempi, la cui esistenza genera molti problemi fisici ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

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. [...] -free: nel primo caso avevamo automi finiti ed espressioni razionali, nel secondo automi a pila e grammatiche. Macchine di Turing Una macchina di Turing opera con una memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE
1 2 3
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