LOGICA MATEMATICA Luis José Porras Udes

LOGICA MATEMATICA CURSO LOGICA MATEMATICA CRÉDITOS 3 SEMESTRE PRIMERO MODALIDAD                    PRESENCIAL TIPO DE CURSO               TEÓRICO – TALLER PRESENCIAL                     3 HT PERREQUISITOS              NINGUNO Jueves 8:35 pm, Sala de Redes

OBJETIVO GENERAL Desarrollar en el estudiante la capacidad de análisis lógico partiendo desde la lógica proposicional, las reglas de inferencia lógica, hasta llegar a las estructuras básicas de programación a nivel algorítmico y en seudo lenguaje, de tal forma que se genere en él la capacidad creativa para el planteamiento de soluciones lógicas de programación a problemas específicos.

CONTENIDO Lógica Proposicional Proposiciones   Lógica Proposicional Proposiciones              Lógica de predicados de primer orden Operaciones lógicas Conectivos  lógicos Reglas De Inferencia Lógica Fundamentos de la lógica computacional. Inducción matemática y conjuntos parcialmente ordenados. Fundamentos de la teoría de grafos. Resolución y la interpretación procedimental de los programas lógicos. Una semántica única para programas lógicos definidos. Negación por falla y razonamiento no monótono.  Programas completos y otras restricciones en la sintaxis de los programas lógicos con negación.

LÓGICA PROPOSICIONAL Llamada de lógica de enunciados o lógica de orden 0, no tiene, por sí misma, mucha utilidad para la representación del conocimiento. Es la lógica más sencilla de la lógica simbólica. Trata de la verdad o falsedad de una o varias proposiciones. Desde el punto de vista teórico es una forma restringida de la lógica de predicados de primer orden. Desde el punto de vista práctico es la base de los sistemas basados en reglas con triplas objeto- atributo-valor.

PROPOSICIÓN Una proposición es una sentencia (oración) correctamente formada que puede ser verdadera o falsa Es una sentencia declarativa. Representa un hecho de la realidad. Es una oración del lenguaje que consta de un sujeto y un predicado, tiene un valor afirmativo. Las oraciones interrogativas, exclamativas, imperativas, no afirman nada y no pueden ser considerados enunciados.

EJEMPLOS Oraciones Luis y Marta van de pesca. Luis llamó a Marta para salir. El autobús pasa a las seis Mañana lloverá. ¡siéntate! ¿cuándo sale el autobús? ¿fueron a pescar Luis y Marta finalmente?

APLICACIONES Análisis de circuitos Análisis y confiabilidad de sistemas mediante árboles lógicos. Aplicaciones de satisfactibilidad a problemas de planeación. Programación de computadoras Inteligencia artificial