PVA
CSD-1860-1560 - 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 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
Foro Evaluado - Lectura y Discusión - Programación Declarativa, Funcional y Lógica
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-1860-1560
Navigation sur le site
Accueil
Passer au contenu principal
×
Informations du cours
Accueil
Cours
CSD
Grado
FCI
ISC
CSD-1860-1560
Résumé
CSD-1860-1560 - Programación Lógica
Enseignant:
Manuel Alfonso Peralta Ramirez
Étudiant:
FRANKLIN MOISÉS ALCÁNTARA MIRANDA
Étudiant:
OLIVER ANTONIO DEL JESÚS BÁEZ
Étudiant:
JUAN LUIS MEJÍA PAULINO
Étudiant:
JEHISON MIGUEL MINAYA RAMÍREZ
Étudiant:
THOMAS ENRIQUE MOISÉS ALBA
Étudiant:
JOSÍAS ARTURO PÉREZ RODRÍGUEZ
Étudiant:
ESTEBAN JOSÉ RODRÍGUEZ VENTURA
Étudiant:
RICARDO ALEJANDRO RUÍZ DE LOS SANTOS
Skill Level
:
Beginner