Buscar
Mostrando ítems 1-5 de 5
Caracterización y ponderación de propiedades lógicas sobre valores cualitativos organizados en jerarquías
(Jiménez Contreras, Edith Adriana, 2017-04-25)
El principal objetivo de este trabajo CARACTERIZACIÓN Y PONDERACIÓN DE PROPIEDADES LÓGICAS SOBRE VALORES CUALITATIVOS ORGANIZADOS EN JERARQUÍAS es calcular el grado de inconsistencia de una bolsa de afirmaciones y también ...
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...
El aprendizaje del Teorema de Thales mediado por el modelo de Van Hiele y el uso del software Geogebra para los estudiantes de grado 9° de la institución educativa Popular Diocesano
(Universidad Tecnológica de PereiraFacultad de Ciencias BásicasPereiraMaestría en Enseñanza de las Matemáticas, 2022)
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)