Tesis de Church-Turing
| dc.contributor.advisor | Martínez Alonso, Juan Carlos | |
| dc.contributor.author | Vendrell Titó, Pau | |
| dc.date.accessioned | 2022-05-20T07:33:40Z | |
| dc.date.available | 2022-05-20T07:33:40Z | |
| dc.date.issued | 2021-06-18 | |
| dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Juan Carlos Martínez Alonso | ca |
| dc.description.abstract | [en] Church-Turing thesis states that the intuitive notion of an algorithm corresponds to the notion of a Turing machine. In this work we will show the main arguments that support this claim: the implementation of the basic algorithmic structures by means of Turing machines, and specially the equivalence between the notion of a Turing machine and other mathematical formulations of the notion of an algorithm. | ca |
| dc.format.extent | 45 p. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | https://hdl.handle.net/2445/185826 | |
| dc.language.iso | cat | ca |
| dc.rights | cc-by-nc-nd (c) Pau Vendrell Titó, 2021 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | |
| dc.subject.classification | Màquines de Turing | ca |
| dc.subject.classification | Treballs de fi de grau | |
| dc.subject.classification | Algorismes computacionals | ca |
| dc.subject.classification | Teoria de la computació | ca |
| dc.subject.classification | Lògica matemàtica | ca |
| dc.subject.other | Turing machines | en |
| dc.subject.other | Bachelor's theses | |
| dc.subject.other | Computer algorithms | en |
| dc.subject.other | Theory of computation | en |
| dc.subject.other | Mathematical logic | en |
| dc.title | Tesis de Church-Turing | ca |
| dc.type | info:eu-repo/semantics/bachelorThesis | ca |
Fitxers
Paquet original
1 - 1 de 1
Carregant...
- Nom:
- tfg_vendrell_tito_pau.pdf
- Mida:
- 577.1 KB
- Format:
- Adobe Portable Document Format
- Descripció:
- Memòria