- -

Listar por palabra clave "Programación lógica"

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

Listar por palabra clave "Programación lógica"

Ordenar por:Orden:Resultados:

  • thumb
    Desarrollo de un tutorial interactivo para el aprendizaje de Prolog 
    García Muñoz, Carlos (Universitat Politècnica de València, 2024-07-30)
    [ES] Este proyecto pretende ayudar a aquellas personas que se adentran por primera vez en la programación lógica, ofreciéndoles una introducción paso a paso, ejemplos claros y prácticos, y un entorno amigable para aprender ...
  • thumb
    El mecanismo de resolución en los programas lógicos 
    Silva Galiana, Josep Francesc (2024-06-10)
    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 ...
  • thumb
    El paradigma de programación lógico 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2019-06-25)
    Este objeto de aprendizaje da una introducción al paradigma de programación lógica. Explica las características principales de ese paradigma y da un ejemplo de programa lógico usando la sintaxis de Prolog. También muestra ...
  • thumb
    El Unificador Más General (MGU) 
    Silva Galiana, Josep Francesc (2024-06-10)
    Este video explica qué es un unificador en la programación lógica y cuál es el unificador más general. También explica un algoritmo para calcular el unificador más general de dos términos cualesquiera. Finalmente, se ...
  • Icon
    Programación lógica en la mejora de productividad por trasvase de soldadura manual a robotizada 
    Díaz Ortiz, María Dolores (Universitat Politècnica de València, 2013-04-24)
    Proyecto confidencial
  • thumb
    Termination of Narrowing: Automated Proofs and Modularity Properties 
    Iborra López, José (Universitat Politècnica de València, 2013-02-11)
    En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir si un programa termina o no, es un problema indecidible para la inmensa mayoria de los lenguajes de programacion. A pesar de ello, la ...