I1M2011

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo demostrar propiedades de funciones definidas en Haskell. Los esquemas de demostración estudiados son:

• por simplificación,
• por casos,
• por inducción sobre los números naturales,
• por inducción sobre listas,
• por inducción anidada y
• por generalización e inducción.

Las transparencias usadas en la clase son las del tema 8:
Read More “I1M2011: Razonamiento sobre programas Haskell”

La clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los restantes ejercicios de la 10ª relación y los 6 primeros de la 11ª relación

Los ejercicios, y sus soluciones, se muestran a continuación. Los de la relación 10 son
Read More “I1M2011: Ejercicios con funciones de orden superior en Haskel1”

La clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los 3 primeros ejercicios de la Read More “I1M2011: Ejercicios de definiciones por plegado”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado los tipos y las clases en Haskell. Los objetivos de tema son aprender

• qué es un tipo,
• cómo expresar que una expresión tiene un tipo determinado,
• cómo preguntar a Haskell por el tipo de una expresión,
• cómo determinar el tipo de una expresión,
• cuáles son las ventajas de los tipos en programación,
• cuáles son los tipos básicos (Bool, Char, String, Int, Integer, Float y Double),
• cuáles son los tipos compuestos (listas, tuplas y funciones),
• cómo usar funciones parcializadas,
• qué es el polimorfismo y la sobrecarga de funciones y
• cuáles son las clases básicas (Eq, Ord, Show, Read, Num, Integral y Fractional), sus métodos e instancias.

Las transparencias usadas en la clase son las del tema 3:
Read More “I1M2011: Tipos y clases en Haskell”