diff options
| -rw-r--r-- | README.md | 24 | ||||
| -rw-r--r-- | fli/n.lyx (renamed from logic/n.lyx) | 0 | ||||
| -rw-r--r-- | fli/n1.lyx (renamed from logic/n1.lyx) | 0 | ||||
| -rw-r--r-- | fli/n2.lyx (renamed from logic/n2.lyx) | 0 | ||||
| -rw-r--r-- | fli/n3.lyx (renamed from logic/n3.lyx) | 0 | ||||
| -rw-r--r-- | fli/n4.lyx (renamed from logic/n4.lyx) | 0 | ||||
| -rw-r--r-- | fli/n5.lyx (renamed from logic/n5.lyx) | 0 | ||||
| -rw-r--r-- | fli/n6.lyx (renamed from logic/n6.lyx) | 0 | ||||
| -rw-r--r-- | fli/n7.lyx (renamed from logic/n7.lyx) | 0 | ||||
| -rw-r--r-- | si/n3.lyx | 51 |
10 files changed, 56 insertions, 19 deletions
@@ -31,10 +31,15 @@ Se incluyen las siguientes asignaturas: * `ga`: Grupos y Anillos. * `ts`: Topología de Superficies. * `fvc`: Funciones de Variable Compleja (falta la primera parte). + * `gcs`: Geometría de Curvas y Superficies. + * `ggs`: Geometría Global de Superficies. + * `graf`: Grafos y Optimización Discreta. + * `mne`: Métodos Numéricos de las Ecuaciones Diferenciales. + * `ealg`: Ecuaciones algebraicas. * De informática: * `fc`: Fundamentos de Computadores. * `ip`: Introducción a la Programación. - * `logic`: Fundamentos Lógicos de la Informática. + * `fli`: Fundamentos Lógicos de la Informática. * `etc`: Estructura y Tecnología de Computadores. * `ffi`: Fundamentos Físicos de la Informática. * `tp`: Tecnología de la Programación. @@ -49,21 +54,24 @@ Se incluyen las siguientes asignaturas: * `cc`: Compiladores. * `ar`: Ampliación de Redes (sólo PDF). * `st`: Servicios Telemáticos. - -Próximamente: * `aoc`: Arquitectura y Organización de Computadores. - * `gcs`: Geometría de Curvas y Superficies. - * `graf`: Grafos y Optimización Discreta. - * `mne`: Métodos Numéricos de las Ecuaciones Diferenciales. * `si`: Sistemas Inteligentes. * `tds`: Tecnologías de Desarrollo de Software. + * `pds`: Procesos de Desarrollo de Software. + * `gpds`: Gestión de Proyectos de Desarrollo de Software. +* En progreso: + * `ac`: Álgebra Conmutativa. + * `af`: Análisis Funcional. + * `dsi`: Desarrollo de Sistemas Inteligentes. + * `mc`: Modelos de Computación. + * `pia`: Programación para la IA. ## Venta benéfica Si está en Murcia, puede comprar versiones impresas de los apuntes (ver imagen) por un mínimo de 5 euros la asignatura o 19 euros por 6 asignaturas, y **el 100% de los beneficios** se destina a -[Project Elea](https://projectelea.org/about-us/), un grupo de voluntarios que -trabajan con los residentes del campo de refugiados de Eleonas, Grecia, para +**[Project Elea](https://projectelea.org/about-us/)**, un grupo de voluntarios +que trabajan con los residentes del campo de refugiados de Eleonas, Grecia, para mejorar los estándares de vida y el bienestar comunitario de estas personas que han perdido todo a causa de la guerra. diff --git a/logic/n1.lyx b/fli/n1.lyx index 166b2b3..166b2b3 100644 --- a/logic/n1.lyx +++ b/fli/n1.lyx diff --git a/logic/n2.lyx b/fli/n2.lyx index 93478b7..93478b7 100644 --- a/logic/n2.lyx +++ b/fli/n2.lyx diff --git a/logic/n3.lyx b/fli/n3.lyx index f720c27..f720c27 100644 --- a/logic/n3.lyx +++ b/fli/n3.lyx diff --git a/logic/n4.lyx b/fli/n4.lyx index 3796419..3796419 100644 --- a/logic/n4.lyx +++ b/fli/n4.lyx diff --git a/logic/n5.lyx b/fli/n5.lyx index e887da2..e887da2 100644 --- a/logic/n5.lyx +++ b/fli/n5.lyx diff --git a/logic/n6.lyx b/fli/n6.lyx index f89c446..f89c446 100644 --- a/logic/n6.lyx +++ b/fli/n6.lyx diff --git a/logic/n7.lyx b/fli/n7.lyx index b05b04e..b05b04e 100644 --- a/logic/n7.lyx +++ b/fli/n7.lyx @@ -1837,7 +1837,7 @@ SetKwFunction{Resolucion}{{}resolución} \begin_layout Plain Layout -$R +$G \backslash gets \backslash @@ -1845,7 +1845,7 @@ gets \backslash }$ \backslash -tcp*{Por resolver} +tcp*{Generados} \end_layout \begin_layout Plain Layout @@ -1925,13 +1925,15 @@ leq F$}{ Tomar $n \backslash -in R +in G \backslash setminus \backslash text{Dom}b$ \backslash -; +tcp*{{ +\backslash +rm Esta es la frontera.}} \end_layout \begin_layout Plain Layout @@ -1966,7 +1968,7 @@ emptyset$}{ $w_n \backslash -gets F$ +gets 0$ \backslash ; \end_layout @@ -2029,7 +2031,7 @@ gets0$ \backslash EnOtroCasoSi{$u \backslash -notin R$}{ +notin G$}{ \end_layout \begin_layout Plain Layout @@ -2048,7 +2050,7 @@ gets h(u)$ \begin_layout Plain Layout - Añadir $u$ a $R$ + Añadir $u$ a $G$ \backslash ; \end_layout @@ -2098,6 +2100,19 @@ in M$ sin sucesores en $M$ y sacarlo de $M$ \begin_layout Plain Layout + $c +\backslash +gets(w_u,[u +\backslash +in C])$ +\backslash +tcp*{{ +\backslash +rm $[P]$ devuelve un booleano que indica si $P$ es cierto.}} +\end_layout + +\begin_layout Plain Layout + Tomar el $S$ con $(u,S) \backslash in A$ de menor $ @@ -2146,15 +2161,29 @@ subseteq C$}{añadir $u$ a $C$} \begin_layout Plain Layout - Añadir a $M$ los $v + +\backslash +lSSi{$c +\backslash +neq(w_u,[u +\backslash +in C])$}{% +\end_layout + +\begin_layout Plain Layout + + añadir a $M$ los $v \backslash in \backslash text{Dom}b$ con $u \backslash -in b_v$ -\backslash -; +in b_v$% +\end_layout + +\begin_layout Plain Layout + + } \end_layout \begin_layout Plain Layout |