Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
(→28-Abr-08) |
(→28-Abr-08) |
||
Línea 3: | Línea 3: | ||
---- | ---- | ||
== 28-Abr-08 == | == 28-Abr-08 == | ||
− | * '''Título:''' | + | * '''Título:''' ''Isabelle como lenguaje de programación e Isar como lenguaje de demostración'' |
* '''Ponente:''' {{jalonso}} | * '''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. | * '''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:39 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
- 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.