Teoría: 4 horas por semana
Práctica: 1/2 hora por semana
Laboratorio: 0 (se usarán laboratorios virtuales)
UC: 4
Breve Descripción del Curso
Objetivos del curso:
Generales: Conocer los lenguajes lógicos-matemáticos y sus aplicaciones en computación.
Específicos:
Revisar la historia del pensamiento lógico y matemático.
Conocer el lenguaje de la programación lógica.
Conocer fundamentos de las matemáticas discretas y su relación con computación.
Desarrollar modelos y aplicaciones de la lógica.
Requisitos para tomar el curso:
Prelaciones: ninguna (en el curso se hará una revisión del material relevante).
Requerimientos:
Se usará el software de Swi-Prolog, LPS, Logical Contracts y Galatea (enlaces al final). El o la estudiante debe tener acceso a un computador personal (GNU/Linux, MacOs, Windows) o un celular inteligente o tableta con acceso a Internet (para aprovechar los servidores que se ofrecerán como laboratorios virtuales para todo el curso).
Curso Corto: Lógica Matemática y Programación Lógica
Generales: Conocer los lenguajes lógicos-matemáticos y sus aplicaciones en computación.
Específicos:
Revisar la historia del pensamiento lógico y matemático.
Conocer el lenguaje de la programación lógica.
Competencias
El egresado o egresada de este curso corto:
1.- Programa computadores usando el lenguaje lógico como medio para representación del conocimiento tanto procedimiental como declarativo.
2.- Interpreta la especificación de un sistema en lógica para efectos de un análisis crítico o una implementación computacional.
3.- Modela un agente usando el lenguaje lógico para caracterizar los objetos computacionales que animan el concepto de agente y le transfieren a cada realización capacidades para la conducta inteligente.
Generales: Usar los lenguajes lógicos-matemáticos para modelar sistemas computacionales.
Específicos:
Conocer el lenguaje de la lógica computacional.
Conocer fundamentos de las matemáticas discretas y su relación con computación.
Competencias
El egresado o egresada de este curso corto:
1.- Modela un sistema multiagentes en que los agentes participan en juegos de interacción de acuerdo a la teoría de decisiones y de juegos.
2.- Modela un sistema dinámico usando el lenguaje lógico para describir las leyes de cambio que imperan en ese sistema y las reglas que los agentes usan para guiar su conducta.
Generales: Conocer los lenguajes lógicos-matemáticos y sus aplicaciones en computación.
Específicos:
Evaluar el lenguaje de la programación lógica y la lógica computacional.
Desarrollar modelos y aplicaciones de la lógica.
Competencias
El egresado o egresada de este curso corto:
1.- Desarrolla aplicaciones especificas de la lógica computacional en la Web semántica, el aprendizaje automático y los contratos inteligentes (El o la participante elige su proyecto de aplicación entre las opciones que se ofrecen).