Diferencia entre revisiones de «Ejercicios»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 16: | Línea 16: | ||
* '''Relación 3''': | * '''Relación 3''': | ||
| − | ** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema9/transporte.lp Enunciado], [[Relación 3 ( | + | ** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema9/compra.lp Enunciado], [[Relación 3 (1) |Solución colaborativa]]). |
| + | ** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema9/transporte.lp Enunciado], [[Relación 3 (2) |Solución colaborativa]]). | ||
Revisión del 12:37 15 ene 2019
En esta sección se publicarán las relaciones de ejercicios que se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.
- Relación 1: (Enunciado, Solución colaborativa).
- Relación 2:
- Relación 3: