Diferencia entre revisiones de «Lógica informática (2014-15)»

Revisión del 22:01 23 sep 2014

En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas.

Relación 1: Representación del conocimiento proposicional (1). (Solución colaborativa).

Revisión del 17:39 22 sep 2014 (ver código) WikiSysop (discusión \| contribuciones) m (Protegió «Lógica informática (2014-15)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) ← Edición anterior		Revisión del 22:01 23 sep 2014 (ver código) Jalonso (discusión \| contribuciones) Edición siguiente →
Línea 1:		Línea 1:
	En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas.		En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas.

−	* '''Relación 1''': Representación del conocimiento proposicional (1). (~~[[Media:R1.thy \|Enunciado]] y~~ [[Relación 1 \|Solución colaborativa]]).	+	* '''Relación 1''': Representación del conocimiento proposicional (1). ([[Relación 1 \|Solución colaborativa]]).