Seminario del Grupo de Lógica Computacional

De WikiGLC
Saltar a: navegación, buscar

Los Seminarios del Grupo de Lógica Computacional se celebrarán los lunes de 10:00 a 11:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial.

Seminarios del curso 2007-08


5 de Mayo de 2008


28 de Abril de 2008

  • Título: Isabelle como lenguaje de programación e Isar como lenguaje de demostración
  • Ponente: José A. Alonso
  • Resumen: Este seminario es el primero de una serie cuyo objetivo es mostrar las posibilidades de Isabelle/Isar como sistema que permite regular el nivel de automatización de las demostraciones y hacerlas legibles por los humanos y procesable por las máquinas. El contenido del seminario se corresponde con los dos primeros capítulos de Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar).


Caminante, no hay camino:
se hace camino al andar.

(A. Machado)

Con cada paso que das alcanzas tu meta.
(Dicho Zen).