Tipos de computaciones lógicas

[ES] Este vídeo explica los tipos de computaciones lógicas: computaciones de éxito, computaciones de fallo y computaciones infinitas. Se muestra un ejemplo de cada una de esas computaciones y se plantea un ejercicio para que el estudiante intente averiguar qué tipo de computación se produce a partir de un programa lógico y un objetivo. También se proporciona la solución al ejercicio. Silva, J. (2025). Tipos de computaciones lógicas. Universitat Politècnica de València. https://riunet.upv.es/handle/10251/221377 DER