George Pólya presentó en su libro Cómo plantear y resolver problemas (en inglés, How to solve it) un método de 4 pasos para resolver problemas matemáticos. Dicho método fue adaptado para resolver problemas de programación, por Simon Thompson en How to program it.
En la siguientes secciones mostramos los 4 pasos de ambos métodos, junto con sus correspondientes preguntas.
Read More “El método de Pólya para resolver problemas”
En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la sustituciones en la lógica de primer orden. Concretamente, se ha definido el concepto de sustitución y cómo se aplica a términos y fórmulas. Finalmente, se ha comentado que hay sustituciones que aplicadas a una fórmula satisfacible puede dar una fórmula insatisfacible. Esto motiva la definición de las sustituciones libres.
Las transparencias de esta clase son las páginas 1 a 8 del tema 7.
En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha continuado la presentación de la semántica de la lógica de primer orden, extendiendo los conceptos semánticos de las fórmulas a los conjuntos. Concretamente, se ha definido los siguientes conceptos:
También se ha estudiado las relaciones entre dichos conceptos
Las transparencias de esta clase son las páginas 39 a 45 del tema 6.
En las clases de ayer y de hoy Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios sobre vectores y matrices en Haskell de la 27ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2011: Ejercicios sobre vectores y matrices en Haskell”
Un sistema de Steiner de ternas de orden 
El objetivo de esta relación es definir en Haskell una función para calcular los sistemas de ternas de Steiner de orden n.
Read More "Sistemas de ternas de Steiner en Haskell"