PVA
CSD-1870-5872 - Programación Lógica
0%
Précédent
Données du cours
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 0.1 - Criterio de Validez de Argumentos y Tablas de Verdad (Inglés y Español)
Video 0.2 - Instructivos - Introduccion a Reglas de Inferencia
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 0.1 - Sintaxis y Semantica de Logica Proposicional
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
Compromiso 1.1 - Deducción Natural en Lógica Proposicional
Compromiso 1.2 - Resolucion por Refutacion en Logica Proposicional
Compromiso 1.3 - Refutación en Lógica de Primer Orden
PDE I - Asincrona
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
Compromiso 2.1 - Programacion Inicial en Prolog
Compromiso 2.2 - Programación Recursiva en Prolog
Unidad III - Procesamiento de Listas y Aritmética en Prolog
Video Recurso - Depuracion Declarativa
Materiales - Discusión Máquina Abstract de Warren (MAW)
Foro - Preguntas de Discusion- Unidad III
Diapositivas 3.1 - Trabajando con Listas
Diapositivas 3.2 - Artimética, Acumuladores y Recursividad Terminal
Diapositivas 3.3 - Tópicos Adicionales sobre Listas en Prolog
Diapositivas 3.4 - Corte, Fallo y Negación
Diapositivas 3.5 - Más Sobre Términos
Compromiso 3.1 - Trabajando con Listas
Compromiso 3.2 - Ejercicios de Temas Adicionales de Listas
Actividad - Segunda Prueba de Desarrollo (PDE 2) - Asincrona
Unidad IV - Aplicaciones de Prolog - Procesamiento de Lenguaje Natural
Video Recurso 4.1 - Introducción a las Gramáticas Independientes del Contexto
Video Recurso 4.2 - Listas de Diferencias
Sesiones de Clases - Unidad IV
Foro - Preguntas Frecuente de la Unidad IV
Diapositivas 10 - Gramáticas de Cláusulas Definitivas (DCG)
Diapositivas 11 - DCGs Aumentadas
Diapositivas 12 - Tokenization
Diapositivas 13 - Presentacion Manipulacion de Soluciones
Actividad Evaluada 4.1 - Ejercicios de Programación - Corte y Fallo
Unidad V - Aplicaciones a la Inteligencia Artificial y Resolución de Problemas
Prochain
PVA
Panneau latéral
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
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)
Français (fr)
English (en)
Español - México (es_mx)
Français (fr)
Kreyòl Ayisyen (hat)
Connexion
Nom d'utilisateur
Mot de passe
Se souvenir du nom d'utilisateur
Mot de passe oublié?
Connexion
Log in using your account on
Navigation dans les cours
CSD-1870-5872
Navigation sur le site
Accueil
Passer au contenu principal
×
Completa la
Evaluación Profesoral
del cuatrimestre aquí o a través de la APP ESTUDIANTIL en tu móvil
¡Tu opinión es valiosa!
Informations du cours
Accueil
Cours
CSD
Grado
FCI
ISC
CSD-1870-5872
Résumé
CSD-1870-5872 - Programación Lógica
Enseignant:
Manuel Alfonso Peralta Ramirez
Étudiant:
FRANCIS HENRÍQUEZ MATOS
Étudiant:
TOMMY ANDRÉS SÁNCHEZ HERNÁNDEZ
Skill Level
:
Beginner