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.

3 files changed, 17 insertions, 16 deletions

diff --git a/aed1/graph.eps b/aed1/graph.eps
new file mode 100644
index 0000000..79fafd8
--- /dev/null
+++ b/aed1/graph.eps
diff --git a/aed1/n2.lyx b/aed1/n2.lyx
index 26201e5..22a657a 100644
--- a/aed1/n2.lyx
+++ b/aed1/n2.lyx
@@ -303,7 +303,7 @@ Diccionario[
 (k,v,d)\overset{k\notin\text{Dom}(d)}{\mapsto}D\cup\{(k,v)\} & (k,d)\overset{k\in\text{Dom}(d)}{\mapsto}d(k)\\
 \mathsf{}\\
 \mathsf{Suprime}:T_{k}\times D\rightarrow D & \mathsf{Vacío}:\rightarrow D\\
-(k,d)\mapsto\{(a,b)\in d:a\neq k\} & \mapsto\emptyset
+(k,d)\mapsto\{(a,b)\in d\mid a\neq k\} & \mapsto\emptyset
 \end{array}
 \]
 
@@ -373,7 +373,7 @@ Abierta
 cubetas
 \series default
 , que contienen los elementos 
-\begin_inset Formula $\{e\in c:h(e)=k\}$
+\begin_inset Formula $\{e\in c\mid h(e)=k\}$
 \end_inset
 
 , siendo 
diff --git a/aed1/n4.lyx b/aed1/n4.lyx
index db68fda..3e1e0aa 100644
--- a/aed1/n4.lyx
+++ b/aed1/n4.lyx
@@ -107,7 +107,7 @@ nodos
 aristas
 \series default
  
-\begin_inset Formula $E\subseteq\{(a,b)\in V\times V:a\neq b\}$
+\begin_inset Formula $E\subseteq\{(a,b)\in V\times V\mid a\neq b\}$
 \end_inset
 
 , mientras que uno 
@@ -123,7 +123,7 @@ no dirigido
 \end_inset
 
  y 
-\begin_inset Formula $E\subseteq\{x\in{\cal P}(V):|x|=2\}$
+\begin_inset Formula $E\subseteq\{x\in{\cal P}(V)\mid |x|=2\}$
 \end_inset
 
 .
@@ -136,7 +136,7 @@ bucles
 \end_inset
 
  para que el grafo sea dirigido o que 
-\begin_inset Formula $E\subseteq\{x\in{\cal P}(V):|x|\in\{1,2\}\}$
+\begin_inset Formula $E\subseteq\{x\in{\cal P}(V)\mid |x|\in\{1,2\}\}$
 \end_inset
 
  para que sea no dirigido.
@@ -374,7 +374,7 @@ grado
 \end_inset
 
  es el número de arcos adyacentes a él (
-\begin_inset Formula $|\{X\in E:v\in X\}|$
+\begin_inset Formula $|\{X\in E\mid v\in X\}|$
 \end_inset
 
 ), mientras que en uno dirigido 
@@ -390,7 +390,7 @@ grado de entrada
 \end_inset
 
  como 
-\begin_inset Formula $|\{(a,b)\in A:b=v\}|$
+\begin_inset Formula $|\{(a,b)\in A\mid b=v\}|$
 \end_inset
 
  y el 
@@ -398,7 +398,7 @@ grado de entrada
 grado de salida
 \series default
  como 
-\begin_inset Formula $|\{(a,b)\in A:a=v\}|$
+\begin_inset Formula $|\{(a,b)\in A\mid a=v\}|$
 \end_inset
 
 .
@@ -419,7 +419,7 @@ Operaciones elementales:
 ((V,E),v)\mapsto(V\cup\{v\},E) & ((V,E),(a,b))\overset{a,b\in V}{\mapsto}(V,E\cup\{e\})\\
 \\
 \mathsf{EliminarNodo}:G\times{\cal U}\rightarrow G & \mathsf{EliminarArista}:G\times({\cal U}\times{\cal U})\rightarrow G\\
-((V,E),v)\mapsto(V\backslash\{e\},\{(a,b)\in E:a,b\neq v\}) & ((V,E),e)\mapsto(V,E\backslash\{e\})\\
+((V,E),v)\mapsto(V\backslash\{e\},\{(a,b)\in E\mid a,b\neq v\}) & ((V,E),e)\mapsto(V,E\backslash\{e\})\\
 \\
 \mathsf{ConsultarArista}:G\times({\cal U}\times{\cal U})\rightarrow B\\
 ((V,E),(a,b))\mapsto(a,b)\in A
@@ -456,8 +456,9 @@ status open
 
 \begin_layout Plain Layout
 \align center
-\begin_inset Graphics
-	filename graph.svg
+\begin_inset External
+	template VectorGraphics
+	filename graph.eps
 	scale 60
 
 \end_inset
@@ -508,7 +509,7 @@ En un ordenador podemos representar un grafo finito
 \end_inset
 
  o 
-\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma:E\rightarrow X)$
+\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma\mid E\rightarrow X)$
 \end_inset
 
  mediante:
@@ -594,12 +595,12 @@ Listas de adyacencia
 
  (representados como listas enlazadas en una lista contigua) de los que
  
-\begin_inset Formula $C_{i}=\{j:(i,j)\in E\}$
+\begin_inset Formula $C_{i}=\{j\mid(i,j)\in E\}$
 \end_inset
 
 .
  Si el grafo es etiquetado, 
-\begin_inset Formula $C_{i}=\{(j,\sigma(i,j)):(i,j)\in E\}$
+\begin_inset Formula $C_{i}=\{(j,\sigma(i,j))\mid(i,j)\in E\}$
 \end_inset
 
 .
@@ -617,7 +618,7 @@ Listas de adyacencia
 
 \begin_layout Standard
 En adelante, salvo que se indique lo contrario, suponemos un grafo 
-\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma:E\rightarrow X)$
+\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma\mid E\rightarrow X)$
 \end_inset
 
 , y que las variables en pseudocódigo se inicializan con su valor por defecto.
@@ -2586,7 +2587,7 @@ grafo reducido
 \end_inset
 
  y 
-\begin_inset Formula $E_{R}:=\{(A,B)\in V_{R}:\exists a\in A,b\in B:(a,b)\in E\}$
+\begin_inset Formula $E_{R}:=\{(A,B)\in V_{R}\mid \exists a\in A,b\in B:(a,b)\in E\}$
 \end_inset
 
 .