PVA
CSD-1850-1256 - Programación Funcional
0%
Précédent
Données du cours
CSD-1820-2721 - ICC - 302 - Programacion Funcional
Foro General - Avisos
Libro - Programming Languages Pragmatics - Michael Scott
Libro - Functional Programming Using F# - Hansel, M (et al,)
ICC-302-T-Programación Funcional
Introduccion y Aspectos Generales de la Programacion Funcional
Planes de Sesiones de Clase
Foro - Discusion y Preguntas Frecuentes - Unidad I
Video 1 - Definición Preliminar y No Formal de Programación Declarativa
Informe - Notas de Programación Declarativa (Ruiz-Jiménez)
Recurso - Coding-Ground-SML - Interprete en Linea de SML-NJ
Presentacion - Aspectos Historicos de la Programacion Funcional
Presentacion - Generalidades de la Programacion Funcional
Presentacion - Introduccion y Aspectos Basicos de ML
Foro Evaluado - Lectura y Discusión - Programación Declarativa, Funcional y Lógica
Unidad II - Fundamentos Teóricos
Vinculo - OpenDSA - Contenido Interactivo Sobre Calculo-Lambda
Lambster - Intérprete de Cálculo Lambda
Video - Aspectos Introductorios de Cálculo Lambda
Presentacion - Introducción a Cálculo Lambda
Presentacion - Más Cálculo Lambda
Presentacion - Aspectos Especificos Calculo Lambda
Planes y Agenda de Clases
Foro - Discusion y Preguntas Frecuentes - Unidad II
Practica 2.1 - Ejercicios de Calculo Lambda
Practica 2.2 - Ejercicio del Combinador Y
Resultados - Prueba de Desarrollo I (PDE I)
Unidad III - Funciones y Relaciones en el Paradigma Funcional
Tratado de Sistemas de Tipos - Luca Cardelli
Foro - Discusion y Preguntas Frecuentes - Unidad III
Sesiones de Clases
Presentacion - Sistemas de Tipos Simples en SML
Presentación - Deducción de Tipos usando Hindley Milner
Presentación - Las Funciones Recursivas, Patrones y Tipos Complejos en SML
Presentacion - Estrategias de Evaluacion en SML
Presentacion - SML Tipos Mas Ejemplos
Presentacion - Aspectos Específicos de Sistemas de Tipos
Presentacion - Aspectos Formales de la Tipificacion
Presentacion - Presentacion ML Tipos Adicional
Presentación - Tipos de Datos Abstractos en SML - Arboles
Practica 3.1 - Ejercicio de Inferencia de Tipos
Practica 3.2 - Ejercicios de Programacion SML - Tipos y Recursividad
Practica 3.3 - Programacion SML - Tipos, Estructuras y Signaturas
Unidad IV - Aplicaciones de La Programación Funcional
Foro de Discusión y Activdades Formativas - Unidad IV
Sesiones de Clases - Unidad IV
Presentacion - Estrategias de Evaluacion en SML
Presentacion - Aspectos Generales de la Computación Simbólica
Presentacion - Computacion Simbólica
Presentacion - Aspectos de Eficiencia en SML
Presentacion - Flujos (Streams) Infinitos en SML
Presentacion - Complementos de Secuencias y Flujos
Presentacion - Listas Perezosas Encapsuladas
Presentacion - Parsing con SML
Resultados - Prueba de Desarrollo II (PDE II)
Practica 4.1 - Aplicaciones Simple de Listas Perezosas
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-1850-1256
Navigation sur le site
Accueil
Passer au contenu principal
×
Informations du cours
Accueil
Cours
CSD
Grado
FCI
ICC
CSD-1850-1256
Résumé
CSD-1850-1256 - Programación Funcional
Enseignant:
Manuel Alfonso Peralta Ramirez
Étudiant:
JEANLOIS DE LA CRUZ PÉREZ
Étudiant:
BASILIO GIANFRANCO DE PAULA CUEVAS
Étudiant:
DIEGO ENCARNACIÓN ESPINAL
Étudiant:
YIRBEL RAFAEL GÓMEZ DE LEÓN
Étudiant:
DAVID JOSÉ HENRÍQUEZ FÉLIZ
Étudiant:
LUIS ARTURO MORA MARMOLEJOS
Étudiant:
DARBY JOSÉ MUÑOZ FERNÁNDEZ
Étudiant:
KENDRICK ISAÍAS NEUFELD LORA
Étudiant:
ANDRES MANUEL NUÑEZ RICHARDSON
Étudiant:
DAVID PIMENTEL ESPINAL
Étudiant:
OLIVER DE JESÚS ROSARIO REYES
Étudiant:
KEYSIE ARIANNA SÁNCHEZ ROSARIO
Étudiant:
ELVIN SOMÓN SÁNCHEZ
Skill Level
:
Beginner