Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
Línea 8: | Línea 8: | ||
---- | ---- | ||
− | <div style="color | + | |
+ | |||
+ | <div style="color: green"> | ||
<i>Caminante, no hay camino:<br> | <i>Caminante, no hay camino:<br> | ||
se hace camino al andar.</i><br> | se hace camino al andar.</i><br> | ||
(A. Machado) | (A. Machado) | ||
</div> | </div> |
Revisión del 12:22 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.
Caminante, no hay camino:
se hace camino al andar.
(A. Machado)