Ejercicios - Lógica computacional y teoría de modelos (2019-20)

Ejercicios

De Lógica computacional y teoría de modelos (2019-20)

Revisión del 12:37 15 ene 2019 de Mjoseh (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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:
- (Enunciado, Solución colaborativa).
  - Instancias:
    - (Ejemplo 1)
    - (Ejemplo 2)
    - (Ejemplo 3)
- (Enunciado, Solución colaborativa).
  - Instancias:
    - (Ejemplo 1)
    - (Ejemplo 2)
    - (Ejemplo 3)

Relación 3:
- (Enunciado, Solución colaborativa).
- (Enunciado, Solución colaborativa).

Obtenido de «https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Ejercicios&oldid=77»