Quantcast
Channel: Lógica, Computación e IA » Razonamiento Asistido por Computador
Browsing latest articles
Browse All 10 View Live

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 Article


RAC: 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 Article


RAC: 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 Article

RAC: 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 Article

RAC: 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 Article


RAC: 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 Article

RAC: 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 Article

RAC: 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 Article


RAC: 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 Article


RAC: 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
Browsing latest articles
Browse All 10 View Live