PVA
CSD-1870-5872 - 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 0 - Criterio de Validez de Argumentos y Tablas de Verdad (Inglés y Español)
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
Unidad II - Introducción a Prolog
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
Pánel lateral
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)
Español - México (es_mx)
English (en)
Español - México (es_mx)
Français (fr)
Kreyòl Ayisyen (hat)
Iniciar sesión (ingresar)
Usuario
Contraseña
Recordar nombre de usuario
Forgot Password?
Iniciar sesión (ingresar)
Log in using your account on
Course Navigation
CSD-1870-5872
Site Navigation
Inicio
Saltar al contenido principal
×
Necesitamos conocer las características de la
población
estudiantil de PUCMM
. Completa el formulario sobre el diagnóstico de la
discapacidad en educación
superior de RD.
Información del curso
Inicio
Cursos
CSD
Grado
FCI
ISC
CSD-1870-5872
Resumen
CSD-1870-5872 - Programación Lógica
Profesor:
Manuel Alfonso Peralta Ramirez
Estudiante:
FRANCIS HENRÍQUEZ MATOS
Estudiante:
TOMMY ANDRÉS SÁNCHEZ HERNÁNDEZ
Skill Level
:
Beginner