Diferencia entre revisiones de «Ejercicios»
De Lógica computacional y teoría de modelos (2019-20)
| (No se muestran 5 ediciones intermedias del mismo usuario) | |||
| 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''': ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema2/R1.html Enunciado], [[Relación 1 |Solución colaborativa]]). | * '''Relación 1''': ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema2/R1.html Enunciado], [[Relación 1 |Solución colaborativa]]). | ||
| Línea 14: | Línea 15: | ||
**** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques_inst_2.lp Ejemplo 2]) | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques_inst_2.lp Ejemplo 2]) | ||
**** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques_inst_3.lp Ejemplo 3]) | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques_inst_3.lp Ejemplo 3]) | ||
| + | |||
| + | * '''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 actual del 17:15 17 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.