Miniatura

Fitxers

tfg_garcia_i_serrano_Aniol.pdf (847.76 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2024-01-15

Llicència de publicació

memòria: cc-nc-nd (c) Aniol Garcia i Serrano, 2024
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/211081

Sobre la decidibilitat de problemes computacionals

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

Treballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Juan Carlos Martínez Alonso

Matèries

Decidibilitat (Lògica matemàtica), Funciones computables, Màquines de Turing, Teoria de la computació, Programari, Treballs de fi de grau

Matèries (anglès)

Decidability (Mathematical logic), Computable functions, Turing machines, Theory of computation, Computer software, Bachelor's theses

Citació

Col·leccions

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

Citació

GARCIA I SERRANO, Aniol. Sobre la decidibilitat de problemes computacionals. [consulta: 21 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/211081]

Exportar metadades

JSON - METS

Compartir registre