diff options
Diffstat (limited to 'si')
| -rw-r--r-- | si/n2.lyx | 4 | ||||
| -rw-r--r-- | si/n3.lyx | 4 | ||||
| -rw-r--r-- | si/n5.lyx | 2 | ||||
| -rw-r--r-- | si/n7.lyx | 4 |
4 files changed, 7 insertions, 7 deletions
@@ -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. @@ -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 @@ -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 @@ -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 . |