RAC: entrega para el próximo 14 de abril
Para el próximo 13 de abril, realizar los ejercicios del bloque 5, que tratan sobre terminación de funciones recursivas. En la sección 6.4 del libro de texto se comenta el principio de definición de...
View ArticleRAC: clase del 14 de abril
En la próxima clase del 14 de abril, seguiremos hablando del tema 4, “Recursión e inducción en ACL2″
View ArticleRAC: entrega para el próximo 28 de abril
Para la próxima clase, hemos dejado la posibilidad de revisar la entrega de los ejercicios del bloque 5 y repasar también el tema 4.
View ArticleRAC: clase del 28 de abril
Este jueves terminaremos de ver el tema 4 y dedicaremos el resto del tiempo a hacer demostraciones sencillas (y a mano) de propiedades de programas.
View ArticleRAC: Entrega para el próximo 19 de mayo
En la última clase (28 de abril) se mandó como ejercicio una demostración a mano de una propiedad. Sin embargo, olvidé colocar el ejercicio por escrito en este blog (pido perdón). Lo publico ahora,...
View ArticleRAC: clase del próximo 19 de mayo
En la próxima clase, seguiremos hablando del demostrador automático de ACL2 (tema 5). En concreto, sobre las técnicas de simplificación e inducción que tiene implementadas. En cuanto a la entrega...
View ArticleRAC: clase del próximo 26 de mayo
En la próxima clase veremos el tema 6, en el que se explicará la manera de interactuar con el demostrador. Es conveniente que os llevéis vuestro ordenador con ACL2 Sedan, ya que haremos varias...
View ArticleRAC: próxima clase 9 de junio
Se recuerda que el próximo día 2 de junio no hay clase de RAC, y que esta clase queda aplazada para el día 13 de junio a la misma hora. Para la clase del próximo 9 de junio, hay que realizar, en ACL2...
View ArticleRAC: próximas clases del 13 y 16 de junio
La dos últimas clases se dedicarán a la realización de ejemplos concretos de verificación usando ACL2 Sedan. Los ejemplos se tomarán del capítulo 19 del libro “Computer Aided Reasoning: An Approach”....
View ArticleRAC: trabajo final
En la página de la asignatura se ha publicado un listado de ejercicios que constituyen el trabajo final de la asignatura. El plazo máximo de entrega de estos ejercicios es el día 20 de julio. Estoy a...
View Article