Diferencia entre revisiones de «Razonamiento automático (2013-14)»
De Razonamiento automático (2013-14)
(Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios corregidos === En esta sección se encuentran las relaciones de ejercicios corregidos en las clases. === Relacione...') |
(→Relaciones de ejercicios propuestos) |
||
| Línea 8: | Línea 8: | ||
En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben 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. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas. | ||
| + | * '''Relación 1''': Representación del conocimiento proposicional. ([[Media:R1.thy |Enunciado]] y [[Relación 1 |Solución colaborativa]]). | ||
Revisión del 17:42 23 oct 2013
Relaciones de ejercicios
Relaciones de ejercicios corregidos
En esta sección se encuentran las relaciones de ejercicios corregidos en las clases.
Relaciones de ejercicios propuestos
En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.
- Relación 1: Representación del conocimiento proposicional. (Enunciado y Solución colaborativa).