Diferencia entre revisiones de «Ejercicios»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 5: | Línea 5: | ||
* '''Relación 2''': | * '''Relación 2''': | ||
** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/7-conectado-grafo.lp Enunciado], [[Relación 2 (1) |Solución colaborativa]]). | ** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/7-conectado-grafo.lp Enunciado], [[Relación 2 (1) |Solución colaborativa]]). | ||
| + | *** Instancias: | ||
| + | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/7-conectado-grafo_inst_1.lp Ejemplo 1]) | ||
| + | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/7-conectado-grafo_inst_2.lp Ejemplo 2]) | ||
| + | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/7-conectado-grafo_inst_3.lp Ejemplo 3]) | ||
** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques.lp Enunciado], [[Relación 2 (2) |Solución colaborativa]]). | ** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques.lp Enunciado], [[Relación 2 (2) |Solución colaborativa]]). | ||
| + | *** Instancias: | ||
| + | **** ([http://www.cs.us.es/~mjoseh/cursos/LibroGelfond/Ejercicios/Tema4/8-conectado-grafo-con-bloques_inst_1.lp Ejemplo 1]) | ||
| + | **** ([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]) | ||
Revisión del 14:37 15 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).
- Relación 2: