Diferencia entre revisiones de «Ejercicios»
De Razonamiento automático (2013-14)
(→Relaciones de ejercicios propuestos) |
(→Relaciones de ejercicios propuestos) |
||
| Línea 19: | Línea 19: | ||
* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]). | * '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]). | ||
* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]] y [[Relación 11 | Solución colaborativa]]). | * '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]] y [[Relación 11 | Solución colaborativa]]). | ||
| + | * '''Relación 12''': Representación de fórmulas proposicionales mediante polinomios. ([[R12 |Enunciado]] y [[Relación 12 | Solución colaborativa]]). | ||
Revisión del 06:46 7 feb 2014
Relaciones de ejercicios
Relaciones de ejercicios corregidos
En esta sección se encuentran las relaciones de ejercicios corregidos en las clases.
Relaciones de ejercicios propuestos
En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.
- Relación 1: Programación funcional en Isabelle/HOL. (Enunciado y Solución colaborativa).
- Relación 2: Razonamiento automático sobre programas en Isabelle/HOL. (Enunciado y Solución colaborativa).
- Relación 3: Razonamiento estructurado sobre programas en Isabelle/HOL. (Enunciado y Solución colaborativa).
- Relación 4: Cons inverso. (Enunciado y Solución colaborativa).
- Relación 5: Cuantificadores sobre listas. (Enunciado y Solución colaborativa).
- Relación 6: Sustitución, inversión y eliminación. (Enunciado y Solución colaborativa).
- Relación 7: Recorridos de árboles. (Enunciado y Solución colaborativa).
- Relación 8: Árboles binarios completos. (Enunciado y Solución colaborativa).
- Relación 9: Deducción natural proposicional (1). (Enunciado y Solución colaborativa).
- Relación 10: Deducción natural proposicional (2). (Enunciado y Solución colaborativa).
- Relación 11: Deducción natural proposicional de primer orden. (Enunciado y Solución colaborativa).
- Relación 12: Representación de fórmulas proposicionales mediante polinomios. (Enunciado y Solución colaborativa).