RA2010: Wiki de ejercicios de razonamiento formalizado en Isabelle/Isar

En la clase de hoy del curso de Razonamiento automáticohemos comentado las novedades de la última versión de Isabelle ( Isabelle2011) que se ha publicado esta semana. Especialmente, el entorno de desarrollo jEdit.

También se ha presentado la wiki de ejercicios del curso y se ha comentado la forma registrase, obtener enunciados y actualizar las soluciones.

Se ha comenzado a escribir las soluciones de la relación 1 (sobre deducción natural en lógica proposicional), de la ewlación 2 (sobre deducción natural en lógica de primer orden) y de la relación 3 (sobre razonamiento por inducción).