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 ComposiciĆ³n de funciones. Listas infinitas. EvaluaciĆ³n diferida Funcional_Modulo5.pdf Funciones de orden superior: filter, map, foldl. Funcional_Modulo6.pdf Repaso de composiciĆ³n. Funciones constantes. Repaso foldl. Expresiones lambda. Definiciones locales. AplicaciĆ³n parcial. Funcional_Modulo7.pdf CurrificaciĆ³n. AplicaciĆ³n parcial.Ā Inferencia de tipos. Polimorfismo. ExplicaciĆ³n complementaria de GermĆ”n Leiva, que es un docente amigoĀ Apuntes complementarios IntroducciĆ³n al lenguaje Haskell Apunte de Haskell de JosĆ© Labra - Universidad de Oviedo (interesante material para leer de corrido). Las primeras 30 pĆ”ginas cubren el temario del paradigma funcional YAHT - Yet Another Haskell Tutorial Excelente tutorial de Hal DaumĆ©, bastante completo y con ejemplos interesantes Learn You a Haskell for Great Good!Ā Un tutorial on-line ilustrado, muy ameno A Gentle Introduction to Haskell Paper que introduce a los conceptos de Haskell, no es tan bĆ”sico como sugiere su tĆtulo 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. 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.Ā ConstrucciĆ³n de nuevos predicados de orden superior. Logico_Modulo7.pdf Formalizando orden superior, generaciĆ³n y lĆmites a la inversibilidad. ExplosiĆ³n combinatoria. | ObjetosResĆŗ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. Celulares - Object Browser.pdf Ejercicio de Celulares a desarrollar en clase de caĆ±Ć³n - Object Browser. Objetos_Modulo03.pdfIntro 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.Ā Objetos_Modulo07.pdf 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. |
Cursosā > āSĆ”bados MaƱana - Anualā > ā