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