- -

El mecanismo de resolución en los programas lógicos

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

El mecanismo de resolución en los programas lógicos

Mostrar el registro completo del ítem

Silva Galiana, JF. (2024). El mecanismo de resolución en los programas lógicos. http://hdl.handle.net/10251/204867

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/204867

Visor de vídeos

Metadatos del ítem

Título: El mecanismo de resolución en los programas lógicos
Autor: Silva Galiana, Josep Francesc
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Este video explica qué es el mecanismo de resolución en la programación lógica. Utiliza un ejemplo para resolver un ejercicio utilizando varias secuencias de pasos de resolución que construyen un árbol de resolución con ...[+]
Palabras clave: Resolución lineal , Árbol de resolución , Programación lógica
Código UNESCO: 3304 - Tecnología de los ordenadores (microelectrónica)
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Tipo: Objeto de aprendizaje
URL: https://polimedia.upv.es/visor/?id=0994adf0-1d51-11ef-a3c4-d125d377b78d
Tipo de recurso educativo: Screencast
Descripción acerca del uso: Este objeto de aprendizaje puede utilizarse en un curso introductorio a la programación lógica. Es recomendable haber visto previamente los conceptos de unificación y unificador más general (MGU). También es aconsejable haber visto previamente el proceso de renombramiento de variables en una computación lógica.
Destinatario: Alumno
Contexto: Primer ciclo
Dificultad: Dificultad media
Nivel de interactividad: Medio
Densidad semántica: Medio
Tiempo típico: 45 minutos
Idioma del destinatario: Español
Permiso de acceso: PUBLICO

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem