FuncionalResĆŗmenes de claseFuncional_Modulo1.pdf Introducción al paradigma funcional. Funcional_Modulo2.pdf Inducción, Recursividad, Pattern matching. Funcional_Modulo3.pdf Tipos, Listas, Listas por comprensión, Tuplas, Comparación lista-tupla. Funcional_Modulo4.pdf Definición de tipos de datos. Composición de funciones. Listas infinitas. Evaluación diferida. Funcional_Modulo6.pdf Repaso de composición. Funciones constantes. Repaso fold. Expresiones lambda. Definiciones locales. Aplicación parcial. Currificación y aplicación parcial.Ā Inferencia de tipos. Polimorfismo. Apuntes complementarios Learn You a Haskell for Great Good!Ā Un tutorial online ilustrado, muy ameno Links Sitio oficial de Haskell Tutoriales y Papers del sitio de Haskell | LógicoResĆŗmenes de claseLogico_Modulo1.pdf Introducción al Paradigma Lógico. Asignación destructiva y efecto colateral. Hechos y reglas. Consultas. Variables. Universo cerrado. Atributos y relaciones. Definiciones por comprensión y por extensión. Logico_Modulo2.pdf Ejemplo.Ā Unificación.Ā Pattern matching. Intro a functores. Logico_Modulo3.pdf Unificación vs.asignación, Recursividad, AritmĆ©tica, Inversibilidad de clĆ”usulas, Negación. Logico_Modulo4.pdf Listas. Predicados recursivos y pattern matching aplicados a listas. Resolución de Ejercicios. MĆ”s orden superior.Ā Explosión combinatoria.Ā Generación y lĆmites a la inversibilidad.Ā Construcción de nuevos predicados de orden superior. | ObjetosObjetos_Modulo02.pdf Mensaje vs. mĆ©todo. Polimorfismo. Interfaz. Abstracción. Encapsulamiento. Forma de trabajo en Smalltalk. Intro a Clase. Herencia. Criterios para subclasificar. Instancias o clases. Clase abstracta. Mensajes que le puedo enviar a una clase. Objetos_Modulo04.pdf Clase. Tipo. Self. Acceso directo y acceso indirecto. Method lookup. Super. Excepciones. Gestión de errores. Resolución de un ejercicio completo en Objetos. Delegación. Enlace estĆ”tico vs. enlace dinĆ”mico. Sobrecarga. Igualdad e identidad. Copia superficial y profunda. |