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.