Día mundial de la lógica y Calculemus
El Consejo Ejecutivo de la UNESCO ha proclamado el 14 de enero Día Mundial de la Lógica.
La fecha del 14 de enero se ha eligido para rendir homenaje a dos grandes lógicos del siglo XX: Kurt Gödel (que falleció el 14 de enero de 1978) y Alfred Tarski (que nació el 14 de enero de 1901).
Uniéndose a dicha celebración, hoy (14 de enero de 2020) comienza la andadura de este blog cuyo principal objetivo es servir de complemento a las asignaturas de
- Lógica matemática y fundamentos (de 3º del Grado en Matemáticas) y
- Razonamiento automático del Máster el Lógica, Computación e Inteligencia Artificial.
El plan es proponer cada semana un ejercicio de forma que los alumnos pueden escribir las soluciones en los comentarios utilizando Isabelle/HOL en la demostración.
El código se escribe entre una línea con <pre lang="isar"> y otra con </pre>
