- Profesor: Alejandra García
El objetivo general del curso es proporcionar los fundamentos formales del campo de la lógica y presentar las aplicaciones que tiene en computación y específicamente en el área del desarrollo de software, para con ello aumentar la capacidad de razonamiento por parte del alumno de tal forma que sea capaz de desarrollar sus habilidades lógicas que le permitirán solucionar problemas de forma algorítmica.
- Profesor: Antonio de Jesus Garcia Dominguez
Al término de este curso el alumno deberá comprender de manera general los principales elementos del cuerpo de conocimiento (“body knowledge”) de la ingeniería de software.
- Profesor: Sodel Vázquez Reyes