Software para la introducción al estudio de operaciones en una lógica con 3 valores de verdad por medio de la noción de 3-pinturas
Tipo de documento
Autores
Lista de autores
Rodríguez, Martín y Vargas, Freddy
Resumen
Presentamos una muestra de nuestro trabajo de grado mediante la exposición del software titulado Razonando con colores, resultado de la implementación de la teoría presente en un artículo elaborado por profesores investigadores del Departamento de Matemáticas de la Universidad Pedagógica Nacional, que lleva el mismo nombre1; cuyo fin es facilitar el estudio de operaciones en una lógica con más de dos valores de verdad, el proceso de representar dichas operaciones para, a partir de diversos ejemplos, conjeturar y comprobar tautologías, en particular aquellas que son válidas en lógica bivalente, sin necesidad de diseñar tablas de verdad, economizando algoritmos dispendiosos y permitiendo así, dedicar más tiempo a la formulación y comprobación de hipótesis y al análisis de resultados.
Fecha
2007
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Idioma
Revisado por pares
Formato del archivo
Editores (capítulo)
Lista de editores (capitulo)
Luque, Carlos Julio
Título del libro
Memorias XVII Encuentro de Geometría y V encuentro de Aritmética
Editorial (capítulo)
Lugar (capítulo)
Rango páginas (capítulo)
413-428
ISBN (capítulo)
Referencias
[1] DONADO, A., LUQUE, C., P´AEZ, J. Caracterizaci´on de conjuntos por ternas. En:Memorias del XIII Coloquio Distrital de Matem´aticas y Estad´ıstica. Universidad Nacional de Colombia. Bogot´a. 1996. [2] H-Conjuntos. En: Memorias del XIV Coloquio Distrital de Matem´aticas y Estad´ıstica. Universidad Pedag´ogica Nacional. Bogot´a. 1997. [3] Nociones conjuntistas con una l´ogica trivalente. En: Memorias del XII Coloquio Distrital de Matem´aticas y Estad´ıstica. UniversidadDistrital Francisco Jos´e de Caldas. Bogot´a. 1995. [4] Razonando con colores (una aproximaci´on a la l´ogica intuicionista). En: TEA: Revista de la Facultad de Ciencia y Tecnolog´ıa. Universidad Pedag´ogica Nacional. No. 5. Bogot´a. 1999. [5] LIPSCHUTZ, S. Teor´ıa de Conjuntos y temas afines. Ed. McGraw-Hill. Nueva York. 1969. [6] MU˜NOZ, J. Introducci´on a la Teor´ıa de Conjuntos. Cuarta edici´on. Universidad Nacional de Colombia. Bogot´a. 2002. [7] S´ANCHEZ, C. (Ed) Macromedia Director 6.x. Ed. McGraw-Hill. Madrid. 1998. [8] S´ANCHEZ, J. Fundamentos te´oricos del software educativo. 1999. En: http://mipagina.cantv.net/gersonberrios/temas ie/401 fund SE.htm [9] SUPESS, P. Teor´ıa axiom´atica de conjuntos. Ed. Norma. Cali. 1968.