LMF2017: Ejercicios de deducción natural proposicional
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la segunda relación y los ejercicios 1 y 6 de la tercera relación.
Resumen de lecturas compartidas (febrero de 2018)
Esta entrada es una recopilación de lecturas compartidas, durante febrero de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas (febrero de 2018)”
LMF2017: Deducción natural proposicional (2)
En la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la deducción natural en la lógica proposicional.
Se han estudiado las siguientes reglas reglas derivadas:
- Regla del modus tollens
- Regla de introducción de doble negación
- Regla de reducción al absurdo
- Ley del tercio excluido
Las transparencias de esta clase son las 18-29 del tema 2.
I1M2017: Cálculo simbólico con Maxima
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha mostrado el uso de Maxima como sistema de cálculo simbólico.
La presentación se ha realizado siguiendo los menús de wxMaxima. En concreto,
- del menú “Simplificar” se ha visto la factorización, simplificación y expansión de expresiones;
- del menú “Análisis” se ha visto la derivació, integración, cálculo de límites y de sumatorios:
- del menú “Álgebra” se ha visto la generación y operciones con matrices y listas;
- del menú “Ecuaciones” se ha visto la resolución simbólica y numérica de ecuaciones;
- del menú “Numérico” se a visto la transformaciones de valores simbólicos a numéricos y
- del menú “Gráficos” se ha visto la representación gráfica de funciones y
- del menú “Archivo” cómo guardar y recuperar sesiones.
Finalmente se ha comentado la bibliografía disponible en la página de la asignatura:
También están disponibles los temas:
I1M2017: Cálculo numérico en Haskell
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 26, en la que se definen funciones para resolver los siguientes problemas de cálculo numérico:
- diferenciación numérica,
- cálculo de la raíz cuadrada mediante el método de Herón,
- cálculo de los ceros de una función por el método de Newton y
- cálculo de funciones inversas.
Un aspecto a destacar desde el punto de vista de la programación es el uso de la abstracción de procedimientos.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2017: Cálculo numérico en Haskell”