Cursos‎ > ‎Cursadas Anteriores‎ > ‎2014‎ > ‎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
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.

Funcional_Modulo7.pdf
Currificación. Aplicación parcial. Inferencia de tipos. Polimorfismo.

Apuntes complementarios

Lógico

Resúmenes de clase
Logico_Modulo1.pdf
Introducción al Paradigma Lógico. Hechos y reglas. Consultas. Variables. Universo cerrado.Atributos y relaciones. Definiciones por comprensión/extensión.

Logico_Modulo2.pdf
Ejemplo. Pattern matching. Unificación. Comparación funcional/imperativo vs. lógico, comparación SQL/Lógico

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
Intro a Functores. Functores y polimorfismo. Predicados de orden superior: findall. 

Formalizando orden superior, generación y límites a la inversibilidad. Explosión combinatoria.

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.