Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Mathematical Logic"
Now showing items 1-3 of 3
-
Aplicaciones de álgebra universal al reticulado de Post
(2017)El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ... -
Generación de código intermedio usando semántica funtorial
(2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
(2018)Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, ...