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.
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.