Sobre la decidibilitat de problemes computacionals

Vista senzilla d'ítem
dc.contributor.advisorMartínez Alonso, Juan Carlos
dc.contributor.authorGarcia i Serrano, Aniol
dc.date.accessioned2024-05-09T10:10:36Z
dc.date.available2024-05-09T10:10:36Z
dc.date.issued2024-01-15
dc.descriptionTreballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Juan Carlos Martínez Alonsoca
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.extent64 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/211081
dc.language.isocatca
dc.rightsmemòria: cc-nc-nd (c) Aniol Garcia i Serrano, 2024
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.sourceTreballs Finals de Grau (TFG) - Enginyeria Informàtica
dc.subject.classificationDecidibilitat (Lògica matemàtica)ca
dc.subject.classificationFunciones computablesca
dc.subject.classificationMàquines de Turingca
dc.subject.classificationTeoria de la computacióca
dc.subject.classificationProgramarica
dc.subject.classificationTreballs de fi de grauca
dc.subject.otherDecidability (Mathematical logic)en
dc.subject.otherComputable functionsen
dc.subject.otherTuring machinesen
dc.subject.otherTheory of computationen
dc.subject.otherComputer softwareen
dc.subject.otherBachelor's thesesen
dc.titleSobre la decidibilitat de problemes computacionalsca
dc.typeinfo:eu-repo/semantics/bachelorThesisca

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
tfg_garcia_i_serrano_Aniol.pdf
Mida:
847.76 KB
Format:
Adobe Portable Document Format
Descripció:
Memòria
Descarregar

Col·leccions

Treballs Finals de Grau (TFG) - Enginyeria Informàtica
Treballs Finals de Grau (TFG) - Matemàtiques