PVA
CSD-1860-1560 - Programación Lógica
0%
Previous
Course data
ISC - 317 - Programación Lógico-Declarativa
Foro General - Avisos
Portal de Learn-Prolog-Now
Libro - Programming Languages Pragmatics - Michael Scott
Programa de Estudio - ISC-317
Unidad I - Principios de Programacion Declarativa y Lógica Primer Orden
Video 1 - Definición Preliminar y No Formal de Programación Declarativa
Video 2 - Sintaxis de La Logica de Predicados
Video 3 - Clausulas de Horn y Sintaxis de Prolog
Lectura - Notas de Programacion Declarativa
Material de Referencia - Lógica Computacional
Sesiones de Clases - Unidad I
Diapositivas 0.0 - Programacion Funcional - Declarativa
Diapositivas 1.1 - Sintaxis Lógica de Predicados
Diapositivas 1.2 - Sustituciones en Logica de Primer Orden
Diapositivas 1.3 - Formas Normales en Lógica de Predicados
Diapositivas 1.4 - Resolución en Lógica de Predicados
Foro - Discusion y Preguntas Frecuentes - Unidad I
Compromiso 1.0 - Validez y Certeza de las Leyes de Inferencia
Unidad II - Introducción a Prolog
Video Recurso 2.1 - Introducción al Algoritmo de Unificación
Lectura - Crónica de Kowalski acerca de Prolog
Sesiones de Clase - Unidad II
Foro - Preguntas Frecuentes - Unidad II
Diapositivas 2.0 - Relación Entre Lógica y Prolog
Diapositivas 2.1 - Aspectos Basicos de Lenguaje Prolog
Diapositivas 2.2 - Resolución y Unificación en Prolog
Diapositivas 2.3 - Recursividad en Prolog
Diapositivas 2.4.1 - Aspectos Generales - Resolución SLD
Diapositivas 2.4.2 - Más Sobre Resolución SLD
Unidad III - Procesamiento de Listas y Aritmética en Prolog
Unidad IV - Aplicaciones de Prolog - Procesamiento de Lenguaje Natural
Unidad V - Aplicaciones a la Inteligencia Artificial y Resolución de Problemas
Next
PVA
Side panel
Bases de Datos
ProQuest
EBSCOhost
ProQuest Entrepreneurship
Digitalia
World Tourism Organization (UNWTO)
OECD iLibrary
The New England Journal of Medicine
ClinicalKey Student
ClinicalKey Profesional/Physician
O'Reilly
vlex
Scopus
Solicitudes
Acompañamiento
Recurso Shutterstock
Restauración Curso Archivado
Colocación Anuncio
Curso de Práctica
Instructivos
Preguntas Frecuentes
Vídeotutoriales
PDF para Docentes
PDF para Estudiantes
Curso Inducción Estudiantil
PVA Docentes: Básico
Enlaces
Descargar SEB
Abrir Examen Seguro
Cerrar Examen Seguro
Portafolio Digital de Aprendizaje (PDA)
Campus Solutions
Mi campus (CS)
Acreditación Escuela Medicina
Acreditación (MED)
English (en)
English (en)
Español - México (es_mx)
Français (fr)
Kreyòl Ayisyen (hat)
Log in
Username
Password
Remember username
Forgot Password?
Log in
Log in using your account on
Course Navigation
CSD-1860-1560
Site Navigation
Home
Skip to main content
×
Course info
Home
Courses
CSD
Grado
FCI
ISC
CSD-1860-1560
Summary
CSD-1860-1560 - Programación Lógica
Teacher:
Manuel Alfonso Peralta Ramirez
Student:
FRANKLIN MOISÉS ALCÁNTARA MIRANDA
Student:
OLIVER ANTONIO DEL JESÚS BÁEZ
Student:
JUAN LUIS MEJÍA PAULINO
Student:
JEHISON MIGUEL MINAYA RAMÍREZ
Student:
THOMAS ENRIQUE MOISÉS ALBA
Student:
ARMANDO NOEL CHARLE
Student:
JOSÍAS ARTURO PÉREZ RODRÍGUEZ
Student:
ESTEBAN JOSÉ RODRÍGUEZ VENTURA
Student:
RICARDO ALEJANDRO RUÍZ DE LOS SANTOS
Skill Level
:
Beginner