{"id":647,"date":"2010-09-16T16:24:25","date_gmt":"2010-09-16T16:24:25","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?page_id=647"},"modified":"2013-09-01T20:36:21","modified_gmt":"2013-09-01T18:36:21","slug":"contenido-de-vestigium","status":"publish","type":"page","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/contenido-de-vestigium\/","title":{"rendered":"Contenido de Vestigium"},"content":{"rendered":"<p>Los 400 \u00faltimos art\u00edculos de Vestigium son<br \/>\n<ul>\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/25-may-24\/'>La semana en Calculemus (25 de mayo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/18-may-24\/'>La semana en Calculemus (18 de mayo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/11-may-24\/'>La semana en Calculemus (11 de mayo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/04-may-24-b\/'>La semana en Calculemus (4 de mayo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/04-may-24\/'>Resumen de lecturas compartidas durante abril de 2024<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-may-24\/'>El mes de abril en Exercitium (Ejercicios con Haskell y Python)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/27-abr-24\/'>La semana en Calculemus (27 de abril de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/21-abr-24\/'>La semana en Calculemus (21 de abril de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/02-abr-24\/'>El mes de marzo en Exercitium (Ejercicios con Haskell y Python)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/16-mar-24\/'>La semana en Calculemus (16 de marzo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/09-mar-24\/'>La semana en Calculemus (9 de marzo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/02-mar-24\/'>La semana en Calculemus (2 de marzo de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/24-feb-24\/'>La semana en Calculemus (24 de febrero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-feb-24\/'>La semana en Calculemus (3 de febrero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/27-ene-24\/'>La semana en Calculemus (27 de enero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/20-ene-24\/'>La semana en Calculemus (20 de enero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/13-ene-24\/'>La semana en Calculemus (13 de enero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/06-ene-24\/'>La semana en Calculemus (6 de enero de 2024)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/30-dic-23\/'>La semana en Calculemus (30 de diciembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/10-dic-23\/'>La semana en Calculemus (10 de diciembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/02-dic-23\/'>La semana en Calculemus (2 de diciembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/25-nov-23\/'>La semana en Calculemus (25 de noviembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/18-nov-23\/'>La semana en Calculemus (18 de noviembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/11-nov-23\/'>La semana en Calculemus (11 de noviembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/05-nov-23\/'>La semana en Calculemus (5 de noviembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/30-oct-23\/'>El mes de octubre en Exercitium (Ejercicios con Haskell y Python)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/28-oct-23\/'>La semana en Calculemus (28 de octubre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/21-oct-23\/'>La semana en Calculemus (21 de octubre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/14-oct-23\/'>La semana en Calculemus (14 de octubre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/07-oct-23\/'>La semana en Calculemus (7 de octubre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/30-sep-23-2\/'>El mes de septiembre en Exercitium (Ejercicios con Haskell y Python)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/30-sep-23\/'>La semana en Calculemus (30 de septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/23-sep-23\/'>La semana en Calculemus (23 de septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/16-sep-23\/'>La semana en Calculemus (16 de septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/09-sep-23\/'>La semana en Calculemus (9 de septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-sep-23\/'>El mes en Exercitium (Ejercicios con Haskell y Python, septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/02-sep-23\/'>La semana en Calculemus (2 de septiembre de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/26-ago-23\/'>La semana en Calculemus (26 de agosto de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/19-ago-23\/'>La semana en Calculemus (19 de agosto de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/12-ago-23\/'>La semana en Calculemus (12 de agosto de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/05-ago-23\/'>La semana en Calculemus (5 de agosto de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/29-jul-23\/'>La semana en Calculemus (29 de julio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/22-jul-23\/'>La semana en Calculemus (22 de julio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/15-jul-23\/'>La semana en Calculemus (15 de julio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/08-jul-23\/'>La semana en Exercitium (8 de julio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/01-jul-23\/'>La semana en Exercitium (1 de julio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/24-jun-23\/'>La semana en Exercitium (24 de junio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/17-jun-23\/'>La semana en Exercitium (17 de junio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/10-jun-23\/'>La semana en Exercitium (10 de junio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-jun-23\/'>La semana en Exercitium (3 de junio de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/27-may-23\/'>La semana en Exercitium (27 de mayo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/20-may-23\/'>La semana en Exercitium (20 de mayo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/13-may-23\/'>La semana en Exercitium (13 de mayo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/06-may-23\/'>La semana en Exercitium (6 de mayo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/29-abr-23\/'>La semana en Exercitium (29 de abril de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/22-abr-23\/'>La semana en Exercitium (22 de abril de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/15-abr-23\/'>La semana en Exercitium (15 de abril de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/12-abr-23\/'>La IA y la infinitud de n\u00fameros pares que terminan en 7<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/01-abr-23\/'>La semana en Exercitium (1 de abril de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/25-mar-23\/'>La semana en Exercitium (25 de marzo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/18-mar-23\/'>La semana en Exercitium (18 de marzo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/11-mar-23\/'>La semana en Exercitium (11 de marzo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/04-mar-23\/'>La semana en Exercitium (4 de marzo de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-mar-23\/'>Pr\u00e1cticas sobre tipos algebraicos de datos en Haskell con ChatGPT<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/02-mar-23\/'>ChatGPT como profesor de historia de las matem\u00e1ticas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/01-mar-23\/'>ChatGPT como profesor de programaci\u00f3n con Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/25-feb-23\/'>La semana en Exercitium (25 de febrero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/18-feb-23\/'>La semana en Exercitium (18 de febrero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/11-feb-23\/'>PFH: La semana en Exercitium (11 de febrero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/05-feb-23\/'>Relaciones entre la programaci\u00f3n funcional y las matem\u00e1ticas, seg\u00fan ChatGPT<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/04-feb-23\/'>PFH: La semana en Exercitium (4 de febrero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/28-ene-23\/'>PFH: La semana en Exercitium (28 de enero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/21-ene-23\/'>PFH: La semana en Exercitium (21 de enero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/14-ene-23\/'>PFH: La semana en Exercitium (14 de enero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/07-ene-23\/'>PFH: La semana en Exercitium (7 de enero de 2023)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/31-dic-22\/'>PFH: La semana en Exercitium (31 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/24-dic-22\/'>PFH: La semana en Exercitium (24 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/17-dic-22\/'>PFH: La semana en Exercitium (17 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/10-dic-22-2\/'>PFH: La semana en Exercitium (10 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/10-dic-22\/'>Errores matem\u00e1ticos en las respuestas de ChatGPT<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/04-dic-22\/'>DAO: La semana en Calculemus (4 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/03-dic-22\/'>PFH: La semana en Exercitium (3 de diciembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/27-nov-22\/'>DAO: La semana en Calculemus (27 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/26-nov-22\/'>PFH: La semana en Exercitium (26 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/20-nov-22\/'>DAO: La semana en Calculemus (18 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/19-nov-22\/'>PFH: La semana en Exercitium (18 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/13-nov-22\/'>DAO: La semana en Calculemus (11 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/12-nov-22\/'>PFH: La semana en Exercitium (11 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-4-de-noviembre-de-2022\/'>DAO: La semana en Calculemus (4 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-4-de-noviembre-de-2022\/'>PFH: La semana en Exercitium (4 de noviembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-28-de-octubre-de-2022\/'>DAO: La semana en Calculemus (28 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-28-de-octubre-de-2022\/'>PFH: La semana en Exercitium (28 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-21-de-octubre-de-2022\/'>DAO: La semana en Calculemus (21 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-21-de-octubre-de-2022\/'>PFH: La semana en Exercitium (21 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-14-de-octubre-de-2022\/'>PFH: La semana en Exercitium (14 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-7-de-octubre-de-2022\/'>PFH: La semana en Exercitium (7 de octubre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-30-de-septiembre-de-2022\/'>DAO: La semana en Calculemus (30 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-30-de-septiembre-de-2022\/'>PFH: La semana en Exercitium (30 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-23-de-septiembre-de-2022\/'>DAO: La semana en Calculemus (23 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-23-de-septiembre-de-2022\/'>PFH: La semana en Exercitium (23 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-16-de-septiembre-de-2022\/'>DAO: La semana en Calculemus (16 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-16-de-septiembre-de-2022\/'>PFH: La semana en Exercitium (16 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-9-de-septiembre-de-2022\/'>DAO: La semana en Calculemus (9 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-9-de-septiembre-de-2022\/'>PFH: La semana en Exercitium (9 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-2-de-septiembre-de-2022\/'>DAO: La semana en Calculemus (2 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-2-de-septiembre-de-2022\/'>PFH: La semana en Exercitium (2 de septiembre de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-28-de-agosto-de-2022\/'>DAO: La semana en Calculemus (28 de agosto de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-26-de-agosto-de-2022\/'>PFH: La semana en Exercitium (26 de agosto de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-19-de-agosto-de-2022\/'>PFH: La semana en Exercitium (19 de agosto de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-12-de-agosto-de-2022\/'>PFH: La semana en Exercitium (12 de agosto de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-5-de-agosto-de-2022\/'>PFH: La semana en Exercitium (5 de agosto de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-29-de-julio-de-2022\/'>PFH: La semana en Exercitium (29 de julio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-22-de-julio-de-2022\/'>PFH: La semana en Exercitium (22 de julio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-15-de-julio-de-2022\/'>PFH: La semana en Exercitium (15 de julio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-9-de-julio-de-2022\/'>PFH: La semana en Exercitium (9 de julio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-1-de-julio-de-2022\/'>PFH: La semana en Exercitium (1 de julio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-25-de-junio-de-2022\/'>PFH: La semana en Exercitium (25 de junio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-11-de-junio-de-2022\/'>PFH: La semana en Exercitium (11 de junio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-30-de-mayo-al-3-de-junio-de-2022\/'>PFH: La semana en Exercitium (del 30 de mayo al 3 de junio de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-23-al-27-de-mayo-de-2022\/'>PFH: La semana en Exercitium (del 23 al 27 de mayo de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-16-al-20-de-mayo-de-2022\/'>PFH: La semana en Exercitium (del 16 al 20 de mayo de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-9-al-13-de-mayo-de-2022\/'>PFH: La semana en Exercitium (del 9 al 13 de mayo de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-del-2-al-6-de-mayo-de-2022\/'>DAO: La semana en Calculemus (del 2 al 6 de mayo de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-2-al-6-de-mayo-de-2022\/'>PFH: La semana en Exercitium (del 2 al 6 de mayo de 2022)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-del-25-al-30-de-abril\/'>DAO: La semana en Calculemus (del 25 al 30 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-25-al-30-de-abril\/'>PFH: La semana en Exercitium (del 25 al 30 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao-la-semana-en-calculemus-del-18-al-23-de-abril\/'>DAO: La semana en Calculemus (del 18 al 23 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-18-al-23-de-abril\/'>La semana en Exercitium (del 18 al 23 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-la-semana-en-exercitium-del-11-al-15-de-abril\/'>PFH: La semana en Exercitium (del 11 al 15 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-4-al-8-de-abril\/'>La semana en Exercitium (del 4 al 8 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-ejercicios-con-acciones-io-entrada-salida\/'>PFH: Ejercicios con acciones IO (entrada\/salida)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-28-de-marzo-al-1-de-abril\/'>La semana en Exercitium (del 28 de marzo al 1 de abril)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-21-al-25-de-marzo\/'>La semana en Exercitium (del 21 al 25 de marzo)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-14-al-18-de-marzo\/'>La semana en Exercitium (del 14 al 18 de marzo)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-7-al-11-de-marzo\/'>La semana en Exercitium (del 7 al 11 de marzo)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-ejercicios-sobre-arboles-binarios-de-busqueda\/'>PFH: Ejercicios sobre \u00e1rboles binarios de b\u00fasqueda<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-ejercicios-de-definiciones-por-plegado\/'>PFH: Ejercicios de definiciones por plegado<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ejercicios-sobre-transacciones-en-haskell\/'>PFH: Ejercicios sobre transacciones en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-ejercicios-sobre-tablas-y-diccionarios-en-haskell\/'>PFH: Ejercicios sobre tablas y diccionarios en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/la-semana-en-exercitium-del-28-de-febrero-al-4-de-marzo\/'>La semana en Exercitium (del 28 de febrero al 4 de marzo)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-tipos-de-datos-algebraicos-en-haskell\/'>PFH: Tipos de datos algebraicos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-cadenas-de-bloques-en-haskell\/'>PFH: Cadenas de bloques en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-computational-logic-its-origins-and-applications\/'>Rese\u00f1a: Computational logic: its origins and applications<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-windmills-of-the-minds-an-algorithm-for-fermats-two-squares-theorem\/'>Rese\u00f1a: Windmills of the minds: an algorithm for Fermat&#8217;s two squares theorem<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-formalizing-ordinal-partition-relations-using-isabelle-hol\/'>Rese\u00f1a: Formalizing ordinal partition relations using Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-machine-checked-direct-proof-of-the-steiner-lehmus-theorem\/'>Rese\u00f1a: A machine-checked direct proof of the Steiner-Lehmus theorem<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-completeness-theorems-for-first-order-logic-analysed-in-constructive-type-theory\/'>Rese\u00f1a: Completeness theorems for first-order logic analysed in constructive type theory<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-formalising-lie-algebras-in-lean\/'>Rese\u00f1a: Formalising Lie algebras in Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-why-formalize-mathematics\/'>Rese\u00f1a: Why formalize mathematics?<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-what-is-the-point-of-computers-a-question-for-pure-mathematicians\/'>Rese\u00f1a: What is the point of computers? A question for pure mathematicians<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/materiales-para-la-ensenanza-de-la-programacion-funcional-con-haskell\/'>Materiales para el estudio de la programaci\u00f3n funcional con Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-agosto-de-2021\/'>Resumen de lecturas compartidas durante agosto de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-julio-de-2021\/'>Resumen de lecturas compartidas durante julio de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-junio-de-2021\/'>Resumen de lecturas compartidas durante junio de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-mayo-de-2021\/'>Resumen de lecturas compartidas durante mayo de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-abril-de-2021\/'>Resumen de lecturas compartidas durante abril de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-marzo-de-2021\/'>Resumen de lecturas compartidas durante marzo de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-febrero-de-2021\/'>Resumen de lecturas compartidas durante febrero de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-enero-de-2021\/'>Resumen de lecturas compartidas durante enero de 2021<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-la-funcion-identidad-no-esta-acotada-superiormente\/'>Pruebas en Lean de &#8220;La funci\u00f3n identidad no est\u00e1 acotada superiormente&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/negacion-del-universal-en-lean-caracterizacion-de-funciones-no-pares\/'>Negaci\u00f3n del universal en Lean: Caracterizaci\u00f3n de funciones no pares<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/negacion-del-existencial-en-lean-caracterizacion-de-numeros-no-pares\/'>Negaci\u00f3n del existencial en Lean: Caracterizaci\u00f3n de n\u00fameros no pares<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-la-ley-de-de-morgan-%c2%acp-%e2%88%a7-q-%e2%86%94-%c2%acp-%e2%88%a8-%c2%acq\/'>Pruebas en Lean de la ley de De Morgan: \u00ac(P \u2227 Q) \u2194 \u00acP \u2228 \u00acQ<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-un-numero-es-par-si-y-solo-si-lo-es-su-cuadrado\/'>Pruebas en Lean de &#8220;Un n\u00famero es par si, y s\u00f3lo si, lo es su cuadrado&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-la-relacion-menor-es-irreflexiva-en-los-reales\/'>Pruebas en Lean de &#8220;La relaci\u00f3n menor es irreflexiva en los reales&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-si-u-es-una-sucesion-de-cauchy-y-a-es-un-punto-de-acumulacion-de-u-entonces-a-es-el-limite-de-u\/'>Pruebas en Lean de &#8220;Si u es una sucesi\u00f3n de Cauchy y a es un punto de acumulaci\u00f3n de u, entonces a es el l\u00edmite de u&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-toda-sucesion-convergente-es-una-sucesion-de-cauchy\/'>Pruebas en Lean de &#8220;Toda sucesi\u00f3n convergente es una sucesi\u00f3n de Cauchy&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-el-punto-de-acumulacion-de-las-convergentes-es-su-limite\/'>ForMatUS: Pruebas en Lean de &#8220;El punto de acumulaci\u00f3n de las convergentes es su l\u00edmite&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-las-subsucesiones-tienen-el-mismo-limite-que-la-sucesion\/'>ForMatUS: Pruebas en Lean de &#8220;Las subsucesiones tienen el mismo l\u00edmite que la sucesi\u00f3n&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-hay-infinitos-terminos-de-u-arbitariamente-proximos-a-los-puntos-de-acumulacion\/'>ForMatUS: Pruebas en Lean de &#8220;Hay infinitos t\u00e9rminos arbitrariamente pr\u00f3ximos a los puntos de acumulaci\u00f3n&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-las-funciones-de-extraccion-no-estan-acotadas\/'>ForMatUS: Pruebas en Lean de &#8220;Las funciones de extracci\u00f3n no est\u00e1n acotadas&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-funcion-identidad-es-menor-o-igual-que-la-funcion-de-extraccion\/'>ForMatUS: Pruebas en Lean de &#8220;La funci\u00f3n identidad es menor o igual que la funci\u00f3n de extracci\u00f3n&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-los-supremos-de-las-sucesiones-no-decrecientes-son-sus-limites\/'>ForMatUS: Pruebas en Lean de &#8220;Los supremos de las sucesiones no decrecientes son sus l\u00edmites&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-unicidad-del-limite-de-las-sucesiones\/'>ForMatUS: Pruebas en Lean de la unicidad del l\u00edmite de las sucesiones<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pruebas-en-lean-de-si-x-y-%e2%89%a4-%ce%b5-para-todo-%ce%b5-0-entonces-x-y\/'>Pruebas en Lean de &#8220;Si |x &#8211; y| \u2264 \u03b5, para todo \u03b5 > 0, entonces x = y&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-si-x-%ce%b5-para-todo-%ce%b5-0-entonces-x-0\/'>ForMatUS: Si |x| < \u03b5, para todo \u03b5 > 0, entonces x = 0<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-teorema-del-emparedado\/'>ForMatUS: Pruebas en Lean del teorema del emparedado<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-diciembre-de-2020\/'>Resumen de lecturas compartidas durante diciembre de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-noviembre-de-2020\/'>Resumen de lecturas compartidas durante noviembre de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-propiedades-de-la-composicion-de-funciones-elemento-neutro-y-asociatividad\/'>ForMatUS: Pruebas en Lean de propiedades de la composici\u00f3n de funciones (elemento neutro y asociatividad)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-la-identidad-es-biyectiva\/'>ForMatUS: Pruebas en Lean de que la identidad es biyectiva<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-relaciones-reflexivas-y-euclideas-son-de-equivalencia\/'>ForMatUS: Pruebas en Lean de que las relaciones reflexivas y eucl\u00eddeas son de equivalencia<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-equivalencias-son-los-preordenes-simetricos\/'>ForMatUS: Pruebas en Lean de que las equivalencias son los pre\u00f3rdenes sim\u00e9tricos<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-octubre-de-2020\/'>Resumen de lecturas compartidas durante octubre de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-una-desigualdad-entre-numeros-naturales\/'>ForMatUS: Pruebas en Lean de una desigualdad entre n\u00fameros naturales<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-partes-simetricas-son-simetricas\/'>ForMatUS: Pruebas en Lean de que las partes sim\u00e9tricas son sim\u00e9tricas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-partes-simetricas-de-las-relaciones-reflexivas-son-reflexivas\/'>ForMatUS: Pruebas en Lean de que las partes sim\u00e9tricas de las relaciones reflexivas son reflexivas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-partes-estrictas-de-los-ordenes-parciales-son-transitivas\/'>ForMatUS: Pruebas en Lean de que las partes estrictas de los \u00f3rdenes parciales son transitivas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-partes-estrictas-son-irreflexivas\/'>ForMatUS: Pruebas en Lean de que las partes estrictas son irreflexivas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-que-las-relaciones-irreflexivas-y-transitivas-son-asimetricas\/'>ForMatUS: Pruebas en Lean de que las relaciones irreflexivas y transitivas son asim\u00e9tricas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%f0%9d%92%ab-a-%e2%8a%86-%f0%9d%92%ab-b-%e2%86%94-a-%e2%8a%86-b\/'>ForMatUS: Pruebas en Lean de \ud835\udcab A \u2286 \ud835\udcab B \u2194 A \u2286 B<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%e2%8b%83i-%e2%8b%82j-a-i-j-%e2%8a%86-%e2%8b%82j-%e2%8b%83i-a-i-j\/'>ForMatUS: Pruebas en Lean de (\u22c3i, \u22c2j, A i j) \u2286 (\u22c2j, \u22c3i, A i j)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-interseccion-sobre-union-general-c-%e2%88%a9-%e2%8b%83i-a-i-%e2%8b%83-i-c-%e2%88%a9-a-i\/'>ForMatUS: Pruebas en Lean de la intersecci\u00f3n sobre uni\u00f3n general: C \u2229 (\u22c3i, A i) = (\u22c3 i, C \u2229 A i)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-distributiva-de-la-interseccion-general-sobre-la-interseccion\/'>ForMatUS: Pruebas en Lean de la distributiva de la intersecci\u00f3n general sobre la intersecci\u00f3n<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pertenencia-a-uniones-e-intersecciones-de-familias-en-lean\/'>ForMatUS: Pertenencia a uniones e intersecciones de familias en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-union-e-interseccion-de-familias-de-conjuntos-en-lean\/'>ForMatUS: Uni\u00f3n e intersecci\u00f3n de familias de conjuntos en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-a-%e2%88%a9-b%e1%b6%9c-%e2%88%aa-b-a-%e2%88%aa-b\/'>ForMatUS: Pruebas en Lean de (A \u2229 B\u1d9c) \u222a B = A \u222a B<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-sistema-de-decision-de-tautologias-en-haskell\/'>PFH: Sistema de decisi\u00f3n de tautolog\u00edas en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-propiedad-distributiva-de-la-interseccion-sobre-la-union\/'>ForMatUS: Pruebas en Lean de la propiedad distributiva de la intersecci\u00f3n sobre la uni\u00f3n<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-conmutatividad-de-la-interseccion\/'>ForMatUS: Pruebas en Lean de la conmutatividad de la intersecci\u00f3n<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-complementario-de-un-conjunto-en-lean-pruebas-de-a-b-%e2%8a%86-b%e1%b6%9c\/'>ForMatUS: Complementario de un conjunto en Lean (Pruebas de A \\ B \u2286 B\u1d9c)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-diferencia-de-conjuntos-en-lean-pruebas-de-a-b-%e2%8a%86-a\/'>ForMatUS: Diferencia de conjuntos en Lean (Pruebas de A \\ B \u2286 A)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-del-conjunto-vacio-en-lean\/'>ForMatUS: Regla del conjunto vac\u00edo en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-de-la-union-en-lean\/'>ForMatUS: Regla de introducci\u00f3n de la uni\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-de-la-interseccion-en-lean\/'>ForMatUS: Regla de introducci\u00f3n de la intersecci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-antisimetria-de-la-inclusion-de-conjuntos\/'>ForMatUS: Pruebas en Lean de la antisimetr\u00eda de la inclusi\u00f3n de conjuntos<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-reflexividad-de-la-inclusion-de-conjuntos\/'>ForMatUS: Pruebas en Lean de la reflexividad de la inclusi\u00f3n de conjuntos<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-del-desarrollo-de-un-producto-de-dos-sumas\/'>ForMatUS: Pruebas en Lean del desarrollo de un producto de dos sumas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-x-y-z-x-z-y\/'>ForMatUS: Pruebas en Lean de (x + y) + z = (x + z) + y<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-y-x-%e2%86%92-y-z-%e2%86%92-x-z\/'>ForMatUS: Pruebas en Lean de y = x \u2192 y = z \u2192 x = z<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-transitividad-de-la-igualdad\/'>ForMatUS: Pruebas en Lean de la transitividad de la igualdad<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-eliminacion-de-la-igualdad-en-lean\/'>ForMatUS: Regla de eliminaci\u00f3n de la igualdad en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%e2%88%83x%e2%88%83y-pxy-%e2%86%94-%e2%88%83y%e2%88%83x-pxy\/'>ForMatUS: Pruebas en Lean de \u2203x\u2203y P(x,y) \u2194 \u2203y\u2203x P(x,y)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%e2%88%83x-px-%e2%88%a8-qx-%e2%86%94-%e2%88%83x-px-%e2%88%a8-%e2%88%83x-qx\/'>ForMatUS: Pruebas en Lean de \u2203x (P(x) \u2228 Q(x)) \u2194 \u2203x P(x) \u2228 \u2203x Q(x)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%e2%88%80x-px-%e2%88%a7-qx-%e2%86%94-%e2%88%80x-px-%e2%88%a7-%e2%88%80x-qx\/'>ForMatUS: Pruebas en Lean de \u2200x (P(x) \u2227 Q(x)) \u2194 \u2200x P(x) \u2227 \u2200x Q(x)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%c2%ac%e2%88%80x-px-%e2%86%94-%e2%88%83x-%c2%acpx\/'>ForMatUS: Pruebas en Lean de \u00ac\u2200x P(x) \u2194 \u2203x \u00acP(x)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-eliminacion-del-cuantificador-existencial-en-lean\/'>ForMatUS: Regla de eliminaci\u00f3n del cuantificador existencial en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-del-cuantificador-existencial-en-lean\/'>ForMatUS: Regla de introducci\u00f3n del cuantificador existencial en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-septiembre-de-2020\/'>Resumen de lecturas compartidas durante septiembre de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-del-cuantificador-universal-en-lean\/'>ForMatUS: Regla de introducci\u00f3n del cuantificador universal en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-eliminacion-del-cuantificador-universal-en-lean\/'>ForMatUS: Regla de eliminaci\u00f3n del cuantificador universal en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%c2%acp-%e2%86%92-q-%c2%acq-%e2%8a%a2-p\/'>ForMatUS: Pruebas en Lean de \u00acP \u2192 Q, \u00acQ \u22a2 P<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%c2%ac%c2%acq-%e2%88%a7-r-%e2%8a%a2-%c2%ac%c2%acp-%e2%88%a7-r\/'>ForMatUS: Pruebas en Lean de P, \u00ac\u00ac(Q \u2227 R) \u22a2 \u00ac\u00acP \u2227 R<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%86%92-q-%e2%8a%a2-%c2%acp-%e2%88%a8-q\/'>ForMatUS: Pruebas en Lean de P \u2192 Q \u22a2 \u00acP \u2228 Q<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-del-principio-del-tercio-excluso\/'>ForMatUS: Pruebas en Lean del principio del tercio excluso<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-eliminacion-de-la-doble-negacion\/'>ForMatUS: Pruebas en Lean de la eliminaci\u00f3n de la doble negaci\u00f3n<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-regla-de-reduccion-al-absurdo\/'>ForMatUS: Pruebas en Lean de la regla de reducci\u00f3n al absurdo<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-programas-funciones-y-dibujos-introduccion-a-la-programacion-funcional-con-codeworld-haskell\/'>PFH: Programas, funciones y dibujos (Introducci\u00f3n a la programaci\u00f3n funcional con CodeWorld\/Haskell)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-reglas-de-eliminacion-del-bicondicional-en-p-%e2%86%94-q-p-%e2%88%a8-q-%e2%8a%a2-p-%e2%88%a7-q\/'>ForMatUS: Reglas de eliminaci\u00f3n del bicondicional en P \u2194 Q, P \u2228 Q \u22a2 P \u2227 Q<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%88%a7-q-%e2%86%94-q-%e2%88%a7-p\/'>ForMatUS: Pruebas en Lean de P \u2227 Q \u2194 Q \u2227 P<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%c2%acp-%e2%88%a8-q-%e2%8a%a2-p-%e2%86%92-q\/'>ForMatUS: Pruebas en Lean de \u00acP \u2228 Q \u22a2 P \u2192 Q<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%86%92-q-%e2%86%92-p\/'>ForMatUS: Pruebas en Lean de P \u2192 (Q \u2192 P)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-de-q-%e2%86%92-r-%e2%8a%a2-p-%e2%88%a8-q-%e2%86%92-p-%e2%88%a8-r\/'>ForMatUS: Pruebas de Q \u2192 R \u22a2 P \u2228 Q \u2192 P \u2228 R<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%88%a8-q-%e2%8a%a2-q-%e2%88%a8-p\/'>ForMatUS: Pruebas en Lean de P \u2228 Q \u22a2 Q \u2228 P<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-eliminacion-de-la-disyuncion-en-lean\/'>ForMatUS: Regla de eliminaci\u00f3n de la disyunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-reglas-de-introduccion-de-la-disyuncion-en-lean\/'>ForMatUS: Reglas de introducci\u00f3n de la disyunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-%c2%acq-%e2%86%92-%c2%acp-%e2%8a%a2-p-%e2%86%92-%c2%ac%c2%acq\/'>ForMatUS: Pruebas en Lean de \u00acQ \u2192 \u00acP \u22a2 P \u2192 \u00ac\u00acQ<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%86%92-q-%e2%86%92-r-p-%c2%acr-%e2%8a%a2-%c2%acq\/'>ForMatUS: Pruebas en Lean de P \u2192 (Q \u2192 R), P, \u00acR \u22a2 \u00acQ<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-la-regla-de-introduccion-de-la-doble-negacion\/'>ForMatUS: Pruebas en Lean de la regla de introducci\u00f3n de la doble negaci\u00f3n<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%86%92-q-%e2%8a%a2-%c2%acq-%e2%86%92-%c2%acp\/'>ForMatUS: Pruebas en Lean de P \u2192 Q \u22a2 \u00acQ \u2192 \u00acP<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-p-%e2%86%92-q-p-%e2%86%92-q-%e2%86%92-r-%e2%8a%a2-r\/'>ForMatUS: Pruebas en Lean de P, P \u2192 Q, P \u2192 (Q \u2192 R) \u22a2 R<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-del-modus-tollens-p-%e2%86%92-q-%c2%acq-%e2%8a%a2-%c2%acp\/'>ForMatUS: Pruebas en Lean del modus tollens: P \u2192 Q, \u00acQ \u22a2 \u00acP<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-del-silogismo-hipotetico-p-%e2%86%92-q-q-%e2%86%92-r-%e2%8a%a2-p-%e2%86%92-r\/'>ForMatUS: Pruebas del silogismo hipot\u00e9tico: P \u2192 Q, Q \u2192 R \u22a2 P \u2192 R<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%86%92-q-p-%e2%86%92-%c2%acq-%e2%8a%a2-%c2%acp\/'>ForMatUS: Pruebas en Lean de P \u2192 Q, P \u2192 \u00acQ \u22a2 \u00acP<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-reglas-de-la-negacion-en-lean\/'>ForMatUS: Reglas de la negaci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-pruebas-en-lean-de-p-%e2%88%a7-q-%e2%86%92-q-%e2%88%a7-p\/'>ForMatUS: Pruebas en Lean de P \u2227 Q \u2192 Q \u2227 P<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-reglas-de-la-conjuncion-en-lean\/'>ForMatUS: Reglas de la conjunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-del-condicional-en-lean\/'>ForMatUS: Regla de introducci\u00f3n del condicional en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-eliminacion-del-condicional-en-lean\/'>ForMatUS: Regla de eliminaci\u00f3n del condicional en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-presentacion-de-logica-con-lean\/'>ForMatUS: Presentaci\u00f3n de &#8220;L\u00f3gica con Lean&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-definiciones-de-tipos-en-haskell\/'>PFH: Definiciones de tipos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-agosto-de-2020\/'>Resumen de lecturas compartidas durante agosto de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-funciones-de-orden-superior-en-haskell-parte-2-de3-plegados\/'>PFH: Funciones de orden superior en Haskell (Parte 2 de 3): Plegados<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-funciones-de-orden-superior-en-haskell-parte-1-de-3\/'>PFH: Funciones de orden superior en Haskell (Parte 1 de 3)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-el-maximo-comun-divisor-de-m-y-n-es-igual-a-m-si-y-solo-si-m-divide-a-n-en-lean\/'>ForMatUS: El m\u00e1ximo com\u00fan divisor de m y n es igual a m si, y s\u00f3lo si, m divide a n (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-formulacion-equivalente-de-lemas-con-dos-hipotesis\/'>ForMatUS: Formulaci\u00f3n equivalente de lemas con dos hip\u00f3tesis<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-conmutatividad-de-la-conjuncion-en-lean\/'>ForMatUS: Conmutatividad de la conjunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-conectivas-y-desigualdades-en-lean\/'>ForMatUS: Conectivas y desigualdades en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-definiciones-por-recursion-en-haskell-parte-2-de-2\/'>PFH: Definiciones por recursi\u00f3n en Haskell (Parte 2 de 2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-definiciones-por-recursion-en-haskell-parte-1-de-2\/'>PFH: Definiciones por recursi\u00f3n en Haskell (Parte 1 de 2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-cifrado-cesar-en-haskell\/'>PFH: Cifrado C\u00e9sar en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-monotonia-de-la-multiplicacion-por-no-positivo-en-lean\/'>ForMatUS: Monoton\u00eda de la multiplicaci\u00f3n por no positivo (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-monotonia-de-la-multiplicacion-por-no-negativo-en-lean\/'>ForMatUS: Monoton\u00eda de la multiplicaci\u00f3n por no negativo (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-suma-de-desigualdades-en-lean\/'>ForMatUS: Suma de desigualdades (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-suma-de-no-negativos-en-lean\/'>ForMatUS: Suma de no negativos (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-la-suma-de-no-negativos-es-expansiva-en-lean\/'>ForMatUS: La suma de no negativos es expansiva (en Lean)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-monotonia-de-la-suma-por-la-derecha-en-lean\/'>ForMatUS: Monoton\u00eda de la suma por la derecha en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-monotonia-de-la-suma-por-la-izquierda-en-lean\/'>ForMatUS: Monoton\u00eda de la suma por la izquierda en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-eliminacion-de-la-disyuncion-en-lean\/'>ForMatUS: Eliminaci\u00f3n de la disyunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-introduccion-de-la-conjuncion-en-lean\/'>ForMatUS: Introducci\u00f3n de la conjunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-eliminacion-de-la-conjuncion-en-lean\/'>ForMatUS: Eliminaci\u00f3n de la conjunci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-definiciones-por-comprension-en-haskell\/'>PFH: Definiciones por comprensi\u00f3n en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-eliminacion-de-la-equivalencia-en-lean\/'>ForMatUS: Eliminaci\u00f3n de la equivalencia en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-introduccion-de-la-implicacion-en-lean\/'>ForMatUS: Introducci\u00f3n de la implicaci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-eliminacion-de-la-implicacion-en-lean\/'>ForMatUS: Eliminaci\u00f3n de la implicaci\u00f3n en Lean<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-metodos-elementales-de-definicion-de-funciones-en-haskell\/'>PFH: M\u00e9todos elementales de definici\u00f3n de funciones en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-tipos-y-clases-en-haskell\/'>PFH: Tipos y clases en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ppfh-introduccion-a-la-programacion-funcional-con-haskell-parte-2-de-2\/'>PFH: Introducci\u00f3n a la programaci\u00f3n funcional con Haskell (Parte 2 de 2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-haskell-con-jupyterlab\/'>PFH: Haskell con JupyterLab<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-introduccion-a-la-programacion-funcional-con-haskell-parte-1-de-2\/'>PFH: Introducci\u00f3n a la programaci\u00f3n funcional con Haskell (Parte 1 de 2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-ejercicios-con-lean-sobre-aritmetica-real\/'>ForMatUS: Ejercicios con Lean sobre aritm\u00e9tica real<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-prueba-en-lean-con-hipotesis-y-uso-de-lemas\/'>ForMatUS: Prueba en Lean con hip\u00f3tesis y uso de lemas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-prueba-en-lean-mediante-encadenamiento-de-ecuaciones\/'>ForMatUS: Prueba en Lean mediante encadenamiento de ecuaciones<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/transitividad_de_la_igualdad_en_lean\/'>ForMatUS: Prueba en Lean, mediante reescritura, de la transitividad de la igualdad<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-presentacion-de-dao-demostracion-asistida-por-ordenador-con-lean\/'>ForMatUS: Presentaci\u00f3n de &#8220;DAO (Demostraci\u00f3n Asistida por Ordenador) con Lean&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-libro-matematicas-en-lean\/'>ForMatUS: Libro &#8220;Matem\u00e1ticas en Lean&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/proyecto-formatus-formalizacion-de-las-matematicas-de-la-us\/'>Proyecto ForMatUS (Formalizaci\u00f3n de las Matem\u00e1ticas de la US)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-julio-de-2020\/'>Resumen de lecturas compartidas durante julio de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-junio-de-2020\/'>Resumen de lecturas compartidas durante junio de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-mayo-de-2020\/'>Resumen de lecturas compartidas durante mayo de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-definiciones-inductivas-en-isabelle-hol\/'>LMF2019: Definiciones inductivas en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tipo-abstracto-de-datos-de-grafos-en-haskell\/'>I1M2019: El tipo abstracto de datos de grafos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-patron-de-busqueda-en-escalada-en-haskell\/'>I1M2019: El patr\u00f3n de b\u00fasqueda en escalada en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-desarrollo-de-teorias-formalizadas-con-isabelle-hol\/'>LMF2019: Desarrollo de teor\u00edas formalizadas con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-patron-de-busqueda-por-primero-el-mejor-en-haskell\/'>I1M2019: El patr\u00f3n de b\u00fasqueda por primero el mejor en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/videos-de-las-clases-de-razonamiento-automatico-con-isabelle-hol\/'>V\u00eddeos de las clases de razonamiento autom\u00e1tico con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/videos-de-las-clases-de-algoritmica-con-haskell\/'>V\u00eddeos de las clases de algor\u00edtmica con Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-patron-de-busqueda-en-espacios-de-estados-en-haskell\/'>I1M2019: El patr\u00f3n de b\u00fasqueda en espacios de estados en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-razonamiento-sobre-arboles-y-bosques-en-isabelle-hol\/'>LMF2019: Razonamiento sobre \u00e1rboles y bosques en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-resolucion-de-problemas-mediante-busqueda-en-espaciso-de-estados\/'>I1M2019: Resoluci\u00f3n de problemas mediante b\u00fasqueda en espacios de estados<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-patron-de-divide-y-venceras-en-haskell\/'>I1M2019: El patr\u00f3n de divide y vencer\u00e1s en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-razonamiento-por-casos-y-por-induccion-en-isabelle-hol\/'>LMF2019: Razonamiento por casos y por inducci\u00f3n en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-programacion-dinamica-en-haskell\/'>I1M2019: Programaci\u00f3n din\u00e1mica en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-abril-de-2020\/'>Resumen de lecturas compartidas durante abril de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tad-de-los-polinomios-en-haskell-2\/'>I1M2019: El TAD de los polinomios en Haskell (2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-razonamiento-sobre-programas-con-isabelle-hol-2o-parte\/'>LMF2019: Razonamiento sobre programas con Isabelle\/HOL (2\u00ba parte)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tad-de-los-polinomios-en-haskell\/'>I1M2019: El TAD de los polinomios en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tad-de-los-monticulos-en-haskell\/'>I1M2019: El TAD de los mont\u00edculos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tad-de-los-arboles-binarios-de-busqueda-en-haskell\/'>I1M2019: El TAD de los \u00e1rboles binarios de b\u00fasqueda en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf019-razonamiento-sobre-programas-con-isabelle-hol-1o-parte\/'>LMF2019: Razonamiento sobre programas con Isabelle\/HOL (1\u00ba parte)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-las-librerias-de-conjuntos-y-de-diccionarios-en-haskell\/'>I1M2019: Las librer\u00edas de conjuntos y de diccionarios en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tad-de-los-conjuntos-en-haskell\/'>I1M2019: El TAD de los conjuntos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-programacion-funcional-con-isabelle-hol\/'>LMF2019: Programaci\u00f3n funcional con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-algoritmos-de-ordenacion-en-haskell\/'>I1M2019: Algoritmos de ordenaci\u00f3n en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tipo-abstracto-de-datos-de-las-colas-de-prioridad-en-haskell\/'>I1M2019: El tipo abstracto de datos de las colas de prioridad en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-marzo-de-2020\/'>Resumen de lecturas compartidas durante marzo de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tipo-abstracto-de-datos-de-las-colas-en-haskell\/'>I1M2019: El tipo abstracto de datos de las colas en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tipo-abstracto-de-datos-de-las-pilas-en-haskell\/'>I1M2019: El tipo abstracto de datos de las pilas en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-deduccion-natural-en-logica-de-primer-orden-2-2\/'>LMF2019: Deducci\u00f3n natural en l\u00f3gica de primer orden (2\/2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-analisis-de-la-complejidad-de-los-algoritmos\/'>I1M2019: An\u00e1lisis de la complejidad de los algoritmos<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/distancia-esperada-entre-dos-puntos-de-un-cuadrado-unitario\/'>I1M2019: Distancia esperada entre dos puntos de un cuadrado unitario<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-deduccion-natural-en-logica-de-primer-orden-1-2\/'>LMF2019: Deducci\u00f3n natural en l\u00f3gica de primer orden (1\/2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/calculo-del-numero-pi-mediante-el-metodo-de-montecarlo\/'>I1M2019: C\u00e1lculo del n\u00famero pi mediante el m\u00e9todo de Montecarlo<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-aleatoriedad-en-haskell\/'>I1M2019: Aleatoriedad en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-1-al-7-de-marzo-de-2020\/'>Resumen de lecturas compartidas del 1 al 7 de marzo de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-combinatoria-en-haskell\/'>I1M2019: Combinatoria en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-sintaxis-y-semantica-de-la-logica-de-primer-orden\/'>LMF2019: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-calculo-simbolico-con-maxima\/'>I1M2019: C\u00e1lculo simb\u00f3lico con Maxima<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-ejercicios-de-deduccion-natural-con-isabelle-hol-2\/'>LMF2019: Ejercicios de deducci\u00f3n natural con Isabelle\/HOL (2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-febrero-de-2020\/'>Resumen de lecturas compartidas durante febrero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-graph-theory-in-coq-minors-treewidth-and-isomorphisms\/'>Rese\u00f1a: Graph theory in Coq: minors, treewidth, and isomorphisms<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-22-al-29-de-febrero-de-2020\/'>Resumen de lecturas compartidas del 22 al 29 de febrero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-deduccion-natural-proposicional-2\/'>LMF2019: Deducci\u00f3n natural proposicional (2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-introduccion-a-la-programacion-imperativa-con-maxima\/'>I1M2019: Introducci\u00f3n a la programaci\u00f3n imperativa con Maxima<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-introduccion-al-calculo-simbolico-con-maxima\/'>I1M2019: Introducci\u00f3n al c\u00e1lculo simb\u00f3lico con Maxima<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-ejercicios-de-deduccion-natural-con-isabelle-hol-1\/'>LMF2019: Ejercicios de deducci\u00f3n natural con Isabelle\/HOL (1)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-hierarchy-builder-algebraic-hierarchies-made-easy-in-coq-with-elpi\/'>Rese\u00f1a: Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-16-al-21-de-febrero-de-2020\/'>Resumen de lecturas compartidas del 16 al 21 de febrero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-calculo-numerico-en-haskell\/'>I1M2019: C\u00e1lculo num\u00e9rico en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-deduccion-natural-proposicional-1\/'>LMF2019: Deducci\u00f3n natural proposicional (1)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-las-librerias-de-vectores-y-matrices-en-haskell\/'>I1M2019: Las librer\u00edas de vectores y matrices en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-ejercicios-de-sintaxis-y-semantica-de-la-logica-proposicional\/'>LMF2019: Ejercicios de sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-mac-lanes-comparison-theorem-for-the-kleisli-construction-formalized-in-coq\/'>Rese\u00f1a: Mac Lane\u2019s comparison theorem for the Kleisli construction formalized in Coq<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-9-al-15-de-febrero-de-2020\/'>Resumen de lecturas compartidas del 9 al 15 de febrero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-ejercicios-sobre-vectores-y-matrices-en-haskell\/'>I1M2019: Ejercicios sobre vectores y matrices en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-verificacion-de-la-ordenacion-por-insercion-con-isabelle-hol\/'>RA2019: Verificaci\u00f3n de la ordenaci\u00f3n por inserci\u00f3n con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-demostracion-en-isabelle-de-la-correccion-de-un-compilador\/'>RA2019: Demostraci\u00f3n en Isabelle de la correcci\u00f3n de un compilador<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-sintaxis-y-semantica-de-la-logica-proposicional\/'>LMF2019: Sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-matrices-en-haskell\/'>I1M2019: Matrices en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-presentacion-del-curso-de-logica-matematica-y-fundamentos\/'>LMF2019: Presentaci\u00f3n del curso de &#8220;L\u00f3gica matem\u00e1tica y fundamentos&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-1-al-8-de-febrero-de-2020\/'>Resumen de lecturas compartidas del 1 al 8 de febrero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-comprehensive-framework-for-saturation-theorem-proving\/'>Rese\u00f1a: A comprehensive framework for saturation theorem proving<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2019-comienzo-del-curso\/'>LMF2019: Comienzo del curso<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-reduccion-de-sat-a-clique-en-haskell\/'>RA2019: Reducci\u00f3n de SAT a Clique en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-el-algoritmo-de-davis-putnam-en-haskell\/'>RA2019: El algoritmo de Davis-Putnam en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-enero-de-2020\/'>Resumen de lecturas compartidas durante enero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-formalised-polynomial-time-reduction-from-3sat-to-clique\/'>Rese\u00f1a: A formalised polynomial-time reduction from 3SAT to Clique<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-25-al-31-de-enero-de-2020\/'>Resumen de lecturas compartidas del 25 al 31 de enero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-sat-solving\/'>RA2019: SAT (solving)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-a-formal-proof-of-the-irrationality-of-%ce%b63\/'>Rese\u00f1a: A formal proof of the irrationality of \u03b6(3)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-19-al-24-de-enero-de-2020\/'>Resumen de lecturas compartidas del 19 al 24 de enero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/7008-2\/'>I1M2019: 3\u00ba examen de programaci\u00f3n funcional con Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-the-space-of-mathematical-software-systems\/'>Rese\u00f1a: The space of mathematical software systems<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-12-al-18-de-enero-de-2020\/'>Resumen de lecturas compartidas del 12 al 18 de enero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-deduccion-natural-de-primer-orden-con-isabelle-hol\/'>RA2019: Deducci\u00f3n natural de primer orden con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-proof-pearl-braun-trees\/'>Rese\u00f1a: &#8220;Proof pearl: Braun trees&#8221;<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-del-1-al-11-de-enero-de-2020\/'>Resumen de lecturas compartidas del 1 al 11 de enero de 2020<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-juego-de-la-vida-en-haskell\/'>I1M2019: El juego de la vida en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-sintaxis-y-semantica-de-la-logica-de-primer-orden\/'>RA2019: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-manejo-de-ficheros-en-haskell\/'>I1M2019: Manejo de ficheros en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-representacion-grafica-de-funciones-en-haskell-con-gnuplot\/'>I1M2019: Representaci\u00f3n gr\u00e1fica de funciones en Haskell con GNUplot<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-programas-interactivos-en-haskell\/'>I1M2019: Programas interactivos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-diciembre-de-2019\/'>Resumen de lecturas compartidas durante diciembre de 2019<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-problema-de-hamming-en-haskell\/'>I1M2019: El problema de Hamming en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-problema-de-las-n-reinas-en-haskell\/'>I1M2019: El problema de las N reinas en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problema-del-concurso-cifras-y-letras-en-haskell\/'>I1M2019: Problema del concurso &#8220;Cifras y letras&#8221; en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-deduccion-natural-proposicional-con-isabelle-hol-2\/'>RA2019: Deducci\u00f3n natural proposicional con Isabelle\/HOL (2)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-2o-examen-de-programacion-funcional-con-haskell\/'>I1M2019: 2\u00ba examen de programaci\u00f3n funcional con Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-ejercicios-de-evaluacion-perezosa-y-listas-infinitas-en-haskell\/'>I1M2019: Ejercicios de evaluaci\u00f3n perezosa y listas infinitas en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-deduccion-natural-proposicional-con-isabelle-hol-1\/'>RA2019: Deducci\u00f3n natural proposicional con Isabelle\/HOL (1)<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problemas-de-exercitium-del-22-y-29-de-noviembre\/'>I1M2019: Problemas de Exercitium del 22 y 29 de noviembre<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-evaluacion-perezosa-en-haskell\/'>I1M2019: Evaluaci\u00f3n perezosa en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-ejercicios-de-cuantificadores-sobre-listas-en-isabelle-hol\/'>RA2019: Ejercicios de cuantificadores sobre listas en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-razonamiento-sobre-arboles-y-bosques-en-isabelle-hol\/'>RA2019: Razonamiento sobre \u00e1rboles y bosques en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problemas-de-exercitium-del-20-y-21-de-noviembre\/'>I1M2019: Problemas de Exercitium del 20 y 21 de noviembre<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-definiciones-de-clases-en-haskell\/'>I1M2019: Definiciones de clases en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-programa-en-haskell-para-reconocer-tautologias\/'>I1M2019: Programa en Haskell para reconocer tautolog\u00edas<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resumen-de-lecturas-compartidas-durante-noviembre-de-2019\/'>Resumen de lecturas compartidas durante noviembre de 2019<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-introduccion-a-la-programacion-imperativa-con-python\/'>I1M2019: Introducci\u00f3n a la programaci\u00f3n imperativa con Python<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-ejercicios-sobre-arboles-binarios-en-haskell\/'>I1M2019: Ejercicios sobre \u00e1rboles binarios en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-ejercicios-de-razonamiento-estructurado-sobre-programas-en-isabelle-hol\/'>RA2019: Ejercicios de razonamiento estructurado sobre programas en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-razonamiento-por-casos-y-por-induccion-en-isabelle-hol\/'>RA2019: Razonamiento por casos y por inducci\u00f3n en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problemas-de-exercitium-del-18-y-19-de-noviembre\/'>I1M2019: Problemas de Exercitium del 18 y 19 de noviembre<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-de-la-matematica-a-la-maquina\/'>I1M2019: De la matem\u00e1tica a la m\u00e1quina<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problemas-de-exercitium-del-14-y-15-de-noviembre\/'>I1M2019: Problemas de Exercitium del 14 y 15 de noviembre<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-definiciones-de-tipos-en-haskell\/'>I1M2019: Definiciones de tipos en Haskell<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-razonamiento-estructurado-sobre-programas-con-isabelle-hol\/'>RA2019: Razonamiento estructurado sobre programas con Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-ejercicios-de-razonamiento-sobre-programas-en-isabelle-hol\/'>RA2019: Ejercicios de razonamiento sobre programas en Isabelle\/HOL<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-problemas-de-exercitium-del-11-al-13-de-noviembre\/'>I1M2019: Problemas de Exercitium del 11 al 13 de noviembre<\/a><\/li>\n\t<li><a href='https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-codificacion-binaria-y-transmision-de-cadenas-en-haskell\/'>I1M2019: Codificaci\u00f3n binaria y transmisi\u00f3n de cadenas en Haskell<\/a><\/li>\n<\/ul><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Los 400 \u00faltimos art\u00edculos de Vestigium son<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"footnotes":""},"jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/pages\/647"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=647"}],"version-history":[{"count":28,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/pages\/647\/revisions"}],"predecessor-version":[{"id":3586,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/pages\/647\/revisions\/3586"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=647"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}