https://www.glc.us.es/~jalonso/ejerciciosLI2014/api.php?action=feedcontributions&feedformat=atom&user=WikiSysop 2026-07-22T20:24:04Z Contribuciones del usuario MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=L%C3%B3gica_inform%C3%A1tica_(2014-15)&diff=250 2018-07-16T12:08:15Z

<p>WikiSysop: </p> <hr /> <div>En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. Para escribir las fórmulas lógicas se puede usar cualquier editor de símbolos matemáticos como [http://math.typeit.org Type mathematical symbols] (los símbolos lógicos son ¬, ∧, ∨, →, ↔ y ⊧).<br /> <br /> * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Tema 1 (a). ([[R1 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 2&#039;&#039;&#039;: Tema 1 (b). ([[R2 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 3&#039;&#039;&#039;: Temas 1 y 2. ([[R3 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 4&#039;&#039;&#039;: Temas 1 y 2. ([[R4 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 5&#039;&#039;&#039;: Temas 1 a 4. ([[R5 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 6&#039;&#039;&#039;: Temas 1 a 5. ([[R6 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 7&#039;&#039;&#039;: Temas 1 a 6. ([[R7 |Enunciado]] y [http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R7_sol.html Solución]).<br /> * &#039;&#039;&#039;Relación 8&#039;&#039;&#039;: Temas 1 a 7. ([[R8 |Enunciado]] y [http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R8_sol.html Solución]).<br /> * &#039;&#039;&#039;Relación 9&#039;&#039;&#039;: Temas 1 a 7. ([[R9 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 10&#039;&#039;&#039;: Temas 1 a 8. ([[R10 |Enunciado]]).</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=L%C3%B3gica_inform%C3%A1tica_(2014-15)&diff=249 2018-07-16T12:07:47Z

<p>WikiSysop: </p> <hr /> <div>En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. Para escribir las fórmulas lógicas se puede usar cualquier editor de símbolos matemáticos como [http://math.typeit.org Type mathematical symbols] (los símbolos lógicos son ¬, ∧, ∨, →, ↔ y ⊧).<br /> <br /> * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Tema 1 (a). ([[R1 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 2&#039;&#039;&#039;: Tema 1 (b). ([[R2 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 3&#039;&#039;&#039;: Temas 1 y 2. ([[R3 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 4&#039;&#039;&#039;: Temas 1 y 2. ([[R4 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 5&#039;&#039;&#039;: Temas 1 a 4. ([[R5 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 6&#039;&#039;&#039;: Temas 1 a 5. ([[R6 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 7&#039;&#039;&#039;: Temas 1 a 6. ([[R7 |Enunciado]] y [[http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R7_sol.html Solución]]).<br /> * &#039;&#039;&#039;Relación 8&#039;&#039;&#039;: Temas 1 a 7. ([[R8 |Enunciado]] y [[http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R8_sol.html Solución]]).<br /> * &#039;&#039;&#039;Relación 9&#039;&#039;&#039;: Temas 1 a 7. ([[R9 |Enunciado]]).<br /> * &#039;&#039;&#039;Relación 10&#039;&#039;&#039;: Temas 1 a 8. ([[R10 |Enunciado]]).</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=MediaWiki:Common.css&diff=248 2018-07-16T12:06:12Z

<p>WikiSysop: Página creada con «/* Los estilos CSS colocados aquí se aplicarán a todas las apariencias */ @import url(&quot;/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css&quot;);»</p> <hr /> <div>/* Los estilos CSS colocados aquí se aplicarán a todas las apariencias */<br /> @import url(&quot;/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css&quot;);</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=L%C3%B3gica_inform%C3%A1tica_(2014-15)&diff=5 2014-09-22T15:39:17Z

<p>WikiSysop: Protegió «Lógica informática (2014-15)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</p> <hr /> <div>En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. <br /> <br /> * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Representación del conocimiento proposicional (1). ([[Media:R1.thy |Enunciado]] y [[Relación 1 |Solución colaborativa]]).</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=L%C3%B3gica_inform%C3%A1tica_(2014-15)&diff=4 2014-09-22T15:39:03Z

<p>WikiSysop: Página creada con &#039;En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Representación del conocimiento proposicional (1). ([[Media:R...&#039;</p> <hr /> <div>En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. <br /> <br /> * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Representación del conocimiento proposicional (1). ([[Media:R1.thy |Enunciado]] y [[Relación 1 |Solución colaborativa]]).</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=MediaWiki:Mainpage&diff=3 2014-09-22T15:25:54Z

<p>WikiSysop: Página creada con &#039;Lógica informática (2014-15)&#039;</p> <hr /> <div>Lógica informática (2014-15)</div>

WikiSysop https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=MediaWiki:Sidebar&diff=2 2014-09-22T15:25:03Z

<p>WikiSysop: Página creada con &#039;* navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges * SEARCH * TOOLBOX * LANGUAGES&#039;</p> <hr /> <div>* navigation<br /> ** mainpage|mainpage-description<br /> ** recentchanges-url|recentchanges<br /> * SEARCH<br /> * TOOLBOX<br /> * LANGUAGES</div>

WikiSysop