DAO2011: Demostración asistida por ordenador

Demostración asistida por ordenador (DAO2011) es un curso de formación especializada del Centro de Formación Permanente de la Universidad de Sevilla que se impartirá desde el 24 de febrero al 24 de junio de 2011.

Este curso es una introducción a la demostración asistida por ordenador usando el sistema Isabelle/HOL/Isar). Los objetivos del curso son:

• desarrollar la capacidad de razonamiento lógico,
• conocer formalismos de representación del conocimiento matemático,
• saber usar sistemas de razonamiento y
• desarrollar teorías matemáticas en sistemas de demostración automática.

Para más información se puede consultar la página del curso