Cursosā€Ž > ā€ŽCursadas Anterioresā€Ž > ā€Ž2015ā€Ž > ā€ŽMaƱ-SĆ”badoā€Ž > ā€Ž

Apuntes de clase

Funcional

ResĆŗmenes de clase
Funcional_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_Modulo5.pdf
Funciones de orden superior: filter, map, fold.

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

Lógico

ResĆŗmenes de clase
Logico_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.

Logico_Modulo5.pdf
MÔs functores. Polimorfismo. Predicados de orden superior. 

MÔs orden superior. Explosión combinatoria. 
Generación y límites a la inversibilidad. 

Construcción de nuevos predicados de orden superior.

Objetos

ResĆŗmenes de clase
Objetos_Modulo01.pdf
Objeto. Mensaje. Ambiente. Referencias.

Objetos_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.

Objetos_Modulo05.pdf
Intro a colecciones. Bloques de código. Declaratividad en Objetos.

Objetos_Modulo06.pdf
Tipos de colecciones. Variables/métodos de clase. 

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.