RT info:eu-repo/semantics/masterThesis
T1 Teoría de tipos con funciones parciales
A1 Castro Abal, Joaquín
A2 Universidad de Valladolid. Facultad de Filosofía y Letras
K1 Formalización de las Matemáticas
K1 Términos no denotativos
K1 Semántica
K1 Regla de inferencia
K1 Computación
K1 Pedagogía
K1 Formalization of Mathematics
K1 Non-denoting terms
K1 Semantics
K1 Rule of inference
K1 Computing
K1 Pedagogy
K1 72 Filosofía
AB En este trabajo se estudia la teoría de tipos con funciones parciales. Para llevar a caboeste estudio, se completa un amplio recorrido. El trabajo parte del contexto en el que nace la teoríade tipos y con qué propositos. Seguidamente se exponen los sistemas de teoría de tipos Q0, Alonzo,PF y LUTINS, de los cuales los tres últimos incluyen funciones parciales. La presentación de losfundamentos de cada sistema permite compararlos y analizar su adecuación para la formalizaciónde las matemáticas y la implementación en computación. Finalmente, se concluye que la teoríade tipos, especialmente con funciones parciales, presenta múltiples ventajas en estos ámbitos. Poreste motivo, se presenta también una propuesta pedagógica para la incorporación de la teoría detipos en la educación general y en las carreras ligadas a las matemáticas aplicadas y computación.
YR 2024
FD 2024
LK https://uvadoc.uva.es/handle/10324/72859
UL https://uvadoc.uva.es/handle/10324/72859
LA spa
NO Departamento de Filosofía (Filosofía, Lógica y Filosofía de la Ciencia, Teoría e Historia de la Educación, Filosofía Moral, Estética y Teoría de las Artes)
DS UVaDOC
RD 22-jul-2025