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.