Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
Línea 1: | Línea 1: | ||
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. | 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. | ||
+ | |||
+ | == 28-Abr-08: '''Isabelle como lenguaje de programación e Isar como lenguaje de demostración''' == | ||
+ | ''Ponente:'' {jalonso} | ||
+ | ''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. |
Revisión del 07:32 25 abr 2008
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.
28-Abr-08: Isabelle como lenguaje de programación e Isar como lenguaje de demostración
Ponente: {jalonso} 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.