Macchina di Turing e Calcolabilità in una Prospettiva Storica

Baudo, Giuseppe (2017) Macchina di Turing e Calcolabilità in una Prospettiva Storica. [Laurea], Università di Bologna, Corso di Studio in Informatica per il management [L-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato

Download (449kB) | Contatta l'autore

Abstract

In questa tesi descriveremo la Macchina di Turing sia da una prospettiva storica, per capire le ragioni della sua nascita, sia dal punto di vista formale. Parleremo delle conseguenze della sua scoperta, in particolare, la Tesi di Church-Turing.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Baudo, Giuseppe
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
Macchina di Turing,Tesi di Church-Turing,Problema della Fermata
Data di discussione della Tesi
11 Luglio 2017
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^