En la primera parte de la clase hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los restantes ejercicios sobre vectores y matrices en Haskell de la relación 18.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2015: Ejercicios sobre vectores y matrices en Haskell (2)”
La clase de hoy del curso Lógica matemática y fundamentos ha tenido dos partes.
En la primera parte se ha presentado un panorama de la lógica y sus aplicaciones. También se ha explicado cómo formalizar en lógica proposicional argumentos expresados en lenguaje natural. Para practicar con las formalizaciones se ha presentado APLI2.
En la segunda parte se ha explicado la sintaxis de la lógica proposicional insistiendo en el carácter inductivo del tipo de datos de las fórmulas proposicionales, del procedimiento de definiciones por recursión sobre las fórmulas y de demostración de propiedades por inducción sobre las fórmulas.
Finalmente, se ha iniciado el estudio de la semántica de la lógica proposicional definiendo los booleanos, las interpretaciones, las funciones de verdad de las conectivas y mostrando cómo a partir de dichos conceptos se puede calcular el valor de verdad de una fórmula respecto de una interpretación.
Las transparencias de esta clase son las páginas 1-24 del tema 1.
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado cómo se puede trabajar eh Haskell con vectores y matrices usando las librerías Data.Vector y Data.Matrix.
Para instalarla con Cabal hay que ejecutar las siguientes órdenes
|
1 2 3 |
cabal update cabal install vector cabal install matrix |
Los correspondientes manuales, con ejemplos de las funciones, se encuentran en
El objetivo fundamental de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas ha sido presentar una introducción a la programación con Maxima.
En la primera parte, se ha presentado
A continuación, usando wxMaxima se ha mostrado cómo usar Maxima como calculadora científica avanzado viendo cómo realizar cálculos aritméticos, expansiones y simplificaciones e expresiones algebraicas, soluciones de ecuaciones, cálculo de límites, cálculo con matrices y representación de gráficas.
En la segunda parte de la clase se ha realizado la introducción a la programación con Maxima usando como entorno Emacs en lugar de wxMaxima. El contenido de la presentación está aquí se corresponde con el siguiente guión:
Finalmente, se ha comentado un resumen de las principales funciones de Maxima.
Las tablas de equivalencia entre funciones de Maxima y Haskell se encuentran aquí.
En la clase de hoy, se ha presentado el 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: