Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
(→28-Abr-08) |
|||
| 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. | ||
| + | |||
| + | = Seminarios del curso 2007-08 = | ||
---- | ---- | ||
| − | == | + | == 5 de Mayo de 2008 == |
| + | * '''Título:''' ''Patrones básicos de razonamiento en Isabelle/Isar'' | ||
| + | * '''Ponente:''' {{jalonso}} | ||
| + | * '''Resumen:''' En este seminario se presentan los patrones básicos de Isabelle/Isar para el razonamiento proposicional, cuantificacional e inductivo. Se pondrá el énfasis en las demostraciones estructuradas. El contenido del seminario se corresponde con los capítulos 2 y 3 de {{IDAO}}. | ||
| + | ---- | ||
| + | == 28 de Abril de 2008 == | ||
* '''Título:''' ''Isabelle como lenguaje de programación e Isar como lenguaje de demostración'' | * '''Título:''' ''Isabelle como lenguaje de programación e Isar como lenguaje de demostración'' | ||
* '''Ponente:''' {{jalonso}} | * '''Ponente:''' {{jalonso}} | ||
Revisión del 07:56 2 may 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.
Seminarios del curso 2007-08
5 de Mayo de 2008
- Título: Patrones básicos de razonamiento en Isabelle/Isar
- Ponente: José A. Alonso
- Resumen: En este seminario se presentan los patrones básicos de Isabelle/Isar para el razonamiento proposicional, cuantificacional e inductivo. Se pondrá el énfasis en las demostraciones estructuradas. El contenido del seminario se corresponde con los capítulos 2 y 3 de Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar).
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).
