Search
Now showing items 1-3 of 3
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
(Universidad Nacional José Faustino Sánchez Carrión, 2021-01-25)
Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance ...
Modelo categórico del proceso enseñanza - aprendizaje
(Universidad Nacional José Faustino Sánchez Carrión, 2021-04-05)
Objetivo. Modelar algebraicamente la dialéctica que se produce al interactuar el docente y los estudiantes con ayuda de la teoría de categorías. Materiales y métodos. Por su finalidad que se desea, la investigación es de ...
Modelo categórico de la logica bivalente
(José Faustino Sánchez Carrión, 2022-09-16)
Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar
a la lógica bivalente.
Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las
categorías y la lógica ...