Bienvenidos al curso de Logica Matematica/Matematicas Discretas.

El curso de Logica Matematica o Matematicas Discretas, asociado al programa de Tecnologia en Desarrollo del Software tiene como objetivo formativo la construccion de la complejidad del pensamiento logico computacional, apartir de la conceptualizacion, construccion y aplicacion de los aspectos formales de la logica proposicional y la logica predicacional. Algunos aspectos interesantes de aplicacion son la teoria de probabilidad, el reconocimiento de patrones y el aprendizaje de maquina. Nuestro recorrido iniciara con un repaso sobre series, sucesiones, teoria de funciones y teoria de la representacion de una funcion. Una vez el lenguaje y la estructura formal del proceso logico matematico este establecido, procederemos con una introduccion a la logica proposicional y la teoria de conjuntos y sus teoremas asociados. Continuaremos con teoria de permutaciones, combinatoria y probabilidad. Aqui ya podemos introducir la teoria de redes, grafos y modelos de Markov con una aplicacion especial al procesamiento del lenguaje natural. Para finalizar el curso nos embarcaremos en el estudio de la logica predicacional y cerraremos el curso con un par de seminarios sobre los fundamentos logico matematicos de la inteligencia artificial.