Introducción a la Demostración Asistida por Ordenador
Estoy escribiendo una Introducción a la Demostración Asistida por Ordenador (con Isabelle/Isar).
Su objetivo es servir de texto para la curso Demostración asistida por ordenador que empezará a impartirse el próximo curso 2010-11.
El libro parte de los apuntes usados en el Seminario del Grupo de Lógica Computacional del 2008.
Este libro es abierto. Iré anunciando las ampliaciones y actualizaciones en Vestigium.
Todos los comentarios serán bienvenidos e incorporados al libro.