Diferencia entre revisiones de «Ejercicios (19-20)»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 2: | Línea 2: | ||
* '''Relación 1''': ([[R1 |Enunciado]], [[Relación 1 |Solución colaborativa]]). | * '''Relación 1''': ([[R1 |Enunciado]], [[Relación 1 |Solución colaborativa]]). | ||
| − | |||
Revisión del 20:25 29 oct 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).