Cambios estéticos y de compatibilidad (ver mensaje)

* Cambiado globalmente el formato de los conjuntos por comprehensión de la
  notación con ":" a la más común con "|".
* Cambiado el formato de "|" en los conjuntos definidos con \left\{ y \right\}
  para que la barra vertical sea tan grande como las llaves.
* Cambiado grafo del tema 4 de AED I de formato SVG a raster.
  Antes de esto no compilaba porque ImageMagick tiene desactivada por seguridad
  la conversión que LyX necesita para representar imágenes SVG.  Se mantiene la
  versión SVG en el repositorio por si fuera necesaria en el futuro.
* Cambiadas imágenes de puertas lógicas del tema 3 de FC a su versión PDF.
  Antes se usaba la versión SVG, que causa los mismos problemas.
* Cambiadas imágenes en los apuntes de FC para que se miren como figuras.
* Marcadas algunas partes de BBDD como idioma inglés debido a fallos en LaTeX o
  algunos paquetes cuando el idioma no es inglés.  No afecta a la presentación.
* Añadidos saltos de línea donde hacía falta de los apuntes de ISO.
* Corregida referencia en tema 1 AC: ga -> GyA.

4 files changed, 7 insertions, 7 deletions

diff --git a/si/n2.lyx b/si/n2.lyx
index 8971dd3..946c8e4 100644
--- a/si/n2.lyx
+++ b/si/n2.lyx
@@ -269,7 +269,7 @@ Y-O
 \end_inset
 
 , sea 
-\begin_inset Formula $N:=\{S\subseteq V:(u,S)\in A\}$
+\begin_inset Formula $N:=\{S\subseteq V\mid (u,S)\in A\}$
 \end_inset
 
 , 
@@ -315,7 +315,7 @@ primitiva
 árbol Y/O
 \series default
  es un grafo Y/O para el que el grafo no dirigido 
-\begin_inset Formula $(V,\{(u,v)\in V\times V:\exists(u,S)\in A:v\in S\})$
+\begin_inset Formula $(V,\{(u,v)\in V\times V\mid \exists(u,S)\in A\mid v\in S\})$
 \end_inset
 
  es acíclico.
diff --git a/si/n3.lyx b/si/n3.lyx
index 91b18ae..ba20d3d 100644
--- a/si/n3.lyx
+++ b/si/n3.lyx
@@ -145,7 +145,7 @@ Podemos representar un problema de búsqueda en un espacio de estados como
 \end_inset
 
 , 
-\begin_inset Formula $\{w\in V:(v,w)\in A\}$
+\begin_inset Formula $\{w\in V\mid (v,w)\in A\}$
 \end_inset
 
  es finito y recursivamente enumerable a partir de 
@@ -1224,7 +1224,7 @@ Podemos representar un problema de reducción como una tupla
 \end_inset
 
  contable y tanto 
-\begin_inset Formula $\{S\subseteq V:(u,S)\in V\}$
+\begin_inset Formula $\{S\subseteq V\mid (u,S)\in V\}$
 \end_inset
 
  como cada uno de sus elementos finito y recursivamente enumerable a partir
diff --git a/si/n5.lyx b/si/n5.lyx
index a449826..71f6843 100644
--- a/si/n5.lyx
+++ b/si/n5.lyx
@@ -685,7 +685,7 @@ En lógica de predicados, a todo predicado
 \end_inset
 
  le corresponde un conjunto 
-\begin_inset Formula $\{x\in U:P(x)\}$
+\begin_inset Formula $\{x\in U\mid P(x)\}$
 \end_inset
 
  y una 
diff --git a/si/n7.lyx b/si/n7.lyx
index f8678f6..b20a18e 100644
--- a/si/n7.lyx
+++ b/si/n7.lyx
@@ -449,7 +449,7 @@ soporte
 \end_inset
 
  es 
-\begin_inset Formula $s(Z):=\frac{|\{e\in D:Z\subseteq e\}|}{|D|}$
+\begin_inset Formula $s(Z):=\frac{|\{e\in D\mid Z\subseteq e\}|}{|D|}$
 \end_inset
 
 ; la 
@@ -490,7 +490,7 @@ cobertura
 
 .
  Las diapositivas usan la notación de mierda 
-\begin_inset Formula $|X|:=|\{e\in D:X\subseteq e\}|$
+\begin_inset Formula $|X|:=|\{e\in D\mid X\subseteq e\}|$
 \end_inset
 
 .