El alumno evaluará modelos abstractos de objetos y problemas reales mediante principios y teoremas de lógica computacional para la validación y solución de problemas computacionales.
- Profesor: Luis Roberto Garza Moya
El alumno evaluará modelos abstractos de objetos y problemas reales mediante principios y teoremas de lógica computacional para la validación y solución de problemas computacionales.