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 - 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
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
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)
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
×
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.
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