Please use this identifier to cite or link to this item:
https://hdl.handle.net/2445/211081Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Martínez Alonso, Juan Carlos | - |
| dc.contributor.author | Garcia i Serrano, Aniol | - |
| dc.date.accessioned | 2024-05-09T10:10:36Z | - |
| dc.date.available | 2024-05-09T10:10:36Z | - |
| dc.date.issued | 2024-01-15 | - |
| dc.identifier.uri | https://hdl.handle.net/2445/211081 | - |
| dc.description | Treballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Juan Carlos Martínez Alonso | ca |
| dc.description.abstract | [en] The proposition in 1928 of David Hilbert’s Entscheidungsproblem, led to the development of the theory of computability, which seeks to understand what can and cannot be computed. This work aims to be an introduction to this field. During its development, the fundamental concepts of automata theory and formal languages will be shown, along with Turing machines and the Church-Turing thesis, to finally see that there are undecidable problems and show some examples of them. | ca |
| dc.format.extent | 64 p. | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | cat | ca |
| dc.rights | memòria: cc-nc-nd (c) Aniol Garcia i Serrano, 2024 | - |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Treballs Finals de Grau (TFG) - Enginyeria Informàtica | - |
| dc.subject.classification | Decidibilitat (Lògica matemàtica) | ca |
| dc.subject.classification | Funciones computables | ca |
| dc.subject.classification | Màquines de Turing | ca |
| dc.subject.classification | Teoria de la computació | ca |
| dc.subject.classification | Programari | ca |
| dc.subject.classification | Treballs de fi de grau | ca |
| dc.subject.other | Decidability (Mathematical logic) | en |
| dc.subject.other | Computable functions | en |
| dc.subject.other | Turing machines | en |
| dc.subject.other | Theory of computation | en |
| dc.subject.other | Computer software | en |
| dc.subject.other | Bachelor's theses | en |
| dc.title | Sobre la decidibilitat de problemes computacionals | ca |
| dc.type | info:eu-repo/semantics/bachelorThesis | ca |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques Treballs Finals de Grau (TFG) - Enginyeria Informàtica | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| tfg_garcia_i_serrano_Aniol.pdf | Memòria | 847.76 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
