Buscar
Mostrando ítems 1-10 de 43
C?lculo de secuentes y gr?ficos existenciales Alfa, dos estructuras equivalentes para la l?gica proposicional
(Ibagu? : Universidad del Tolima, 2014Facultad de Ciencias, Programa de Matem?ticas con ?nfasis en Estad?stica, 2014)
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
(Universidad Nacional José Faustino Sánchez CarriónPE, 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 ...
Sistema Deductivo Basado en Grafos para la Lógica intuicionista
(Universidad Nacional de San Agustín de Arequipa, 2019)
El sistema geométrico de deducción denominado de N-Grafos fue introducido por De Oliveira en el año 2001. Las pruebas en este sistema son representadas por medio de digrafos. Estos grafos de pruebas se basan en la deducción ...
Sistema Deductivo Basado en Grafos para la Lógica intuicionista
(Universidad Nacional de San Agustín de Arequipa, 2019)
Sistema deductivo basado en grafos para la lógica intuicionista
(Universidad Nacional de San Agustín de ArequipaPE, 2019)
Disipador radial imperfecto
(Ciencia e Ingeniería, 2010)
Salto hidráulico en canal trapezoidal
(Universidad Militar Nueva Granada, 1999)
Salto hidráulico en canal trapezoidal
(Universidad Militar Nueva Granada, 1998)