En la clase de hoy, se ha realizado la presentación del curso Lógica matemática y fundamentos siguiendo el plan de la asignatura.
Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:
Las clases del curso Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) comenzarán el miércoles 12 de febrero.
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado las definiciones de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha estudiado
data y
Se ha insistido en la metodología de definición de funciones recursivas sobre tipos de datos escribiendo una ecuación por cada uno de los constructores del tipo de dato.
Como caso de estudio se ha iniciado la construcción de un programa para determinar si una fórmula es una tautología. Para ello se ha definido el tipo de dato de las fórmulas proposicionales, el de las interpretaciones y una función para definir el valor de una fórmula respecto de una interpretación. Se ha dejado como ejercicio la definición de las restantes funciones para completar el programa.
El código correspondiente es
Read More “I1M2013: Definiciones de tipos de datos en Haskell”
En la clase de hoy del curso de Razonamiento automático se ha estudiado cómo demostrar en Isabelle la corrección de un compilador de expresiones aritméticas.
La clase se ha basado en la siguiente teoría Isabelle
Read More “RA2013: Demostración en Isabelle de la corrección de un compilador”
El triángulo de Floyd, llamado así en honor a Robert Floyd, es un triángulo rectángulo formado con números naturales. Para crear un triángulo de Floyd, se comienza con un 1 en la esquina superior izquierda, y se continúa escribiendo la secuencia de los números naturales de manera que cada línea contenga un número más que la anterior. Las 5 primeras líneas del triángulo de Floyd son
|
1 2 3 4 5 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
El triángulo de Floyd tiene varias propiedades matemáticas interesantes:
En la siguiente relación de ejercicios (elaborada para I1M) se define en Haskell el triágulo de Floyd y se comprueban algunas de sus propiedades.
Read More “El triángulo de Floyd en Haskell”