|
Razonamiento Automático (2021-22) |
|
| Temas |
| Ejercicios |
| Sistemas |
| Documentación |
| Trabajos |
| Entrar |
Resolución (Otter)
| Relación 01: | Formalización y resolución en lógica de primer orden |
| Soluciones desarrolladas en clase: Ej 01, Ej 02, Ej 03, Ej 04, Ej 05, Ej 08. | |
| Relación 02: | Razonamiento automático con igualdad |
| Soluciones desarrolladas en clase: Ej 02, Ej 05, Ej 10. |
Inducción (Isabelle)
| Relación 03: | Programación funcional en Isabelle |
| Soluciones desarrolladas en clase. | |
| Relación 04: | Verificación de algoritmos de ordenación |
| Soluciones desarrolladas en clase. |