Acciones

DAO2012 (Demostración asistida por ordenador)

De Demostración asistida por ordenador (2012-13)

Demostración asistida por ordenador

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

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

Material para el curso