Diferencia entre revisiones de «Ejercicios»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 1: | Línea 1: | ||
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. | 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''': ([ | + | * '''Relación 1''': ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema2/R1.html Enunciado], [[Relación 1 |Solución colaborativa]]). |
Revisión del 12:46 2 nov 2018
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).