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.
- Teacher: Antonio de Jesus Garcia Dominguez
- Teacher: Alejandra García
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.
- Teacher: Sodel Vázquez Reyes
