https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional
Seminario del Grupo de Lógica Computacional - Historial de revisiones
2026-09-17T19:11:37Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.0
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1291&oldid=prev
Garanda en 21:46 1 abr 2017
2017-04-01T21:46:32Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 21:46 1 abr 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Línea 6:</td>
<td colspan="2" class="diff-lineno">Línea 6:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="5-abril-17">Seminario del 5 de abril de 2017</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="5-abril-17">Seminario del 5 de abril de 2017</span> ===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Diseño de una plataforma para simulación de dispositivos inalámbricos''</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Diseño de una plataforma para simulación de dispositivos inalámbricos''</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' <del class="diffchange diffchange-inline">[http://www.uhu.es/gonzalo.aranda Gonzalo A. Aranda Corral] </del>(Universidad de Huelva).  </div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' <ins class="diffchange diffchange-inline">{{garanda}} </ins>(<ins class="diffchange diffchange-inline">Grupo de Lógica Computacional - </ins>Universidad de Huelva).  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:30 a 12:30.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:30 a 12:30.</div></td></tr>
</table>
Garanda
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1290&oldid=prev
Garanda en 21:44 1 abr 2017
2017-04-01T21:44:19Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 21:44 1 abr 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5" >Línea 5:</td>
<td colspan="2" class="diff-lineno">Línea 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="5-abril-17">Seminario del 5 de abril de 2017</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="5-abril-17">Seminario del 5 de abril de 2017</span> ===</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Diseño de una plataforma <del class="diffchange diffchange-inline">de </del>simulación de dispositivos inalámbricos''</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Diseño de una plataforma <ins class="diffchange diffchange-inline">para </ins>simulación de dispositivos inalámbricos''</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://www.uhu.es/gonzalo.aranda Gonzalo A. Aranda Corral] (Universidad de Huelva).  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://www.uhu.es/gonzalo.aranda Gonzalo A. Aranda Corral] (Universidad de Huelva).  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
</table>
Garanda
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1289&oldid=prev
Garanda en 21:27 1 abr 2017
2017-04-01T21:27:21Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 21:27 1 abr 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >Línea 3:</td>
<td colspan="2" class="diff-lineno">Línea 3:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== <span id="5-abril-17">Seminario del 5 de abril de 2017</span> ===</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Título:''' ''Diseño de una plataforma de simulación de dispositivos inalámbricos''</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Ponente:''' [http://www.uhu.es/gonzalo.aranda Gonzalo A. Aranda Corral] (Universidad de Huelva). </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Hora:''' De 11:30 a 12:30.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Resumen:''' Aplicación de la tecnología multiagente JADE para la construcción de una plataforma de simulación de dispositivos inalámbricos.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Sesiones anteriores del seminario ==</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="30-Marzo-16">Seminario del 30 de marzo de 2016</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="30-Marzo-16">Seminario del 30 de marzo de 2016</span> ===</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10" >Línea 10:</td>
<td colspan="2" class="diff-lineno">Línea 19:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' Las aplicaciones de la Inteligencia Artificial a la robótica están revolucionando el mundo actual. El comportamiento de los robots cada vez presenta más características "inteligentes". En este seminario vamos a ver distintas aplicaciones de inteligencia artificial ejecutadas sobre la plataforma [https://www.autonomous.ai/deep-learning-robot Deep Learning Robot] y programadas usando como framework base el [https://en.wikipedia.org/wiki/Robot_Operating_System sistema operativo para robots (ROS)].</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' Las aplicaciones de la Inteligencia Artificial a la robótica están revolucionando el mundo actual. El comportamiento de los robots cada vez presenta más características "inteligentes". En este seminario vamos a ver distintas aplicaciones de inteligencia artificial ejecutadas sobre la plataforma [https://www.autonomous.ai/deep-learning-robot Deep Learning Robot] y programadas usando como framework base el [https://en.wikipedia.org/wiki/Robot_Operating_System sistema operativo para robots (ROS)].</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== Sesiones anteriores del seminario ==</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="10-Febrero-16">Seminario del 10 de febrero de 2016</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="10-Febrero-16">Seminario del 10 de febrero de 2016</span> ===</div></td></tr>
</table>
Garanda
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1288&oldid=prev
Jalonso: /* Seminario del 10 de febrero de 2016 */
2016-03-20T06:00:51Z
<p><span dir="auto"><span class="autocomment">Seminario del 10 de febrero de 2016</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 06:00 20 mar 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4" >Línea 4:</td>
<td colspan="2" class="diff-lineno">Línea 4:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="<del class="diffchange diffchange-inline">10</del>-<del class="diffchange diffchange-inline">Febrero</del>-16">Seminario del <del class="diffchange diffchange-inline">10 </del>de <del class="diffchange diffchange-inline">febrero </del>de 2016</span> ===</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="<ins class="diffchange diffchange-inline">30</ins>-<ins class="diffchange diffchange-inline">Marzo</ins>-16">Seminario del <ins class="diffchange diffchange-inline">30 </ins>de <ins class="diffchange diffchange-inline">marzo </ins>de 2016</span> ===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Introducción a ROS con Deep Learning Robot''</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''Introducción a ROS con Deep Learning Robot''</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://diegocabrera.info Diego R. Cabrera Mendieta] (Universidad Politécnica Salesiana, Ecuador).  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://diegocabrera.info Diego R. Cabrera Mendieta] (Universidad Politécnica Salesiana, Ecuador).  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' Las aplicaciones de la Inteligencia Artificial a la robótica están revolucionando el mundo actual. El comportamiento de los robots cada vez presenta más características "inteligentes". En este seminario vamos a ver distintas aplicaciones de inteligencia artificial ejecutadas sobre la plataforma [https://www.autonomous.ai/deep-learning-robot Deep Learning Robot] y programadas usando como framework base el [https://en.wikipedia.org/wiki/Robot_Operating_System sistema operativo para robots (ROS)]. <del class="diffchange diffchange-inline"> </del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' Las aplicaciones de la Inteligencia Artificial a la robótica están revolucionando el mundo actual. El comportamiento de los robots cada vez presenta más características "inteligentes". En este seminario vamos a ver distintas aplicaciones de inteligencia artificial ejecutadas sobre la plataforma [https://www.autonomous.ai/deep-learning-robot Deep Learning Robot] y programadas usando como framework base el [https://en.wikipedia.org/wiki/Robot_Operating_System sistema operativo para robots (ROS)].</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1287&oldid=prev
Jalonso en 05:59 20 mar 2016
2016-03-20T05:59:27Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 05:59 20 mar 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >Línea 3:</td>
<td colspan="2" class="diff-lineno">Línea 3:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== <span id="10-Febrero-16">Seminario del 10 de febrero de 2016</span> ===</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Título:''' ''Introducción a ROS con Deep Learning Robot''</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Ponente:''' [http://diegocabrera.info Diego R. Cabrera Mendieta] (Universidad Politécnica Salesiana, Ecuador). </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Hora:''' De 11:15 a 12:15.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* '''Resumen:''' Las aplicaciones de la Inteligencia Artificial a la robótica están revolucionando el mundo actual. El comportamiento de los robots cada vez presenta más características "inteligentes". En este seminario vamos a ver distintas aplicaciones de inteligencia artificial ejecutadas sobre la plataforma [https://www.autonomous.ai/deep-learning-robot Deep Learning Robot] y programadas usando como framework base el [https://en.wikipedia.org/wiki/Robot_Operating_System sistema operativo para robots (ROS)].  </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Sesiones anteriores del seminario ==</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="10-Febrero-16">Seminario del 10 de febrero de 2016</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="10-Febrero-16">Seminario del 10 de febrero de 2016</span> ===</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10" >Línea 10:</td>
<td colspan="2" class="diff-lineno">Línea 19:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En términos de expresividad y de comportamiento computacional, la lógicas modales están ubicadas entre la lógica proposicional y la lógica del primer orden. En esta charla vamos a ver porqué, y técnicas para demostrar la decibilidad o indecibilidad de una lógica: métodos de tableros y reducciones.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En términos de expresividad y de comportamiento computacional, la lógicas modales están ubicadas entre la lógica proposicional y la lógica del primer orden. En esta charla vamos a ver porqué, y técnicas para demostrar la decibilidad o indecibilidad de una lógica: métodos de tableros y reducciones.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== Sesiones anteriores del seminario ==</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="17-Diciembre-15">Seminario del 17 de diciembre de 2015</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="17-Diciembre-15">Seminario del 17 de diciembre de 2015</span> ===</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1286&oldid=prev
Jalonso: /* Seminario del 10 de febrero de 2016 */
2016-02-09T18:10:29Z
<p><span dir="auto"><span class="autocomment">Seminario del 10 de febrero de 2016</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:10 9 feb 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Línea 9:</td>
<td colspan="2" class="diff-lineno">Línea 9:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En términos de expresividad y de comportamiento computacional, la lógicas modales están ubicadas entre la lógica proposicional y la lógica del primer orden. <del class="diffchange diffchange-inline">Es </del>esta charla vamos a ver porqué, y técnicas para demostrar la decibilidad o indecibilidad de una lógica: métodos de tableros y reducciones.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En términos de expresividad y de comportamiento computacional, la lógicas modales están ubicadas entre la lógica proposicional y la lógica del primer orden. <ins class="diffchange diffchange-inline">En </ins>esta charla vamos a ver porqué, y técnicas para demostrar la decibilidad o indecibilidad de una lógica: métodos de tableros y reducciones.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1285&oldid=prev
Jalonso en 18:03 9 feb 2016
2016-02-09T18:03:01Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:03 9 feb 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4" >Línea 4:</td>
<td colspan="2" class="diff-lineno">Línea 4:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Próximas sesiones del seminario ==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="<del class="diffchange diffchange-inline">16</del>-<del class="diffchange diffchange-inline">Diciembre</del>-<del class="diffchange diffchange-inline">15</del>">Seminario del <del class="diffchange diffchange-inline">16 </del>de <del class="diffchange diffchange-inline">diciembre </del>de <del class="diffchange diffchange-inline">2015</del></span> ===</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="<ins class="diffchange diffchange-inline">10</ins>-<ins class="diffchange diffchange-inline">Febrero</ins>-<ins class="diffchange diffchange-inline">16</ins>">Seminario del <ins class="diffchange diffchange-inline">10 </ins>de <ins class="diffchange diffchange-inline">febrero </ins>de <ins class="diffchange diffchange-inline">2016</ins></span> ===</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''<del class="diffchange diffchange-inline">Darcs</del>: <del class="diffchange diffchange-inline">un sistema de control de versiones distribuido</del>''</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Título:''' ''<ins class="diffchange diffchange-inline">Buscando un modelo</ins>: <ins class="diffchange diffchange-inline">lógicas modales, semántica y decibilidad</ins>''</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://liis.famaf.unc.edu.ar/people/guillaume-hoffmann-0 Guillaume Hoffmann] (Universidad Nacional de Córdoba, Argentina).</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Ponente:''' [http://liis.famaf.unc.edu.ar/people/guillaume-hoffmann-0 Guillaume Hoffmann] (Universidad Nacional de Córdoba, Argentina).</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 11:15 a 12:15.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' <del class="diffchange diffchange-inline">[https://es.wikipedia.org/wiki/Darcs Darcs] es un sistema </del>de <del class="diffchange diffchange-inline">control </del>de <del class="diffchange diffchange-inline">versiones distribuido con un énfasis en </del>la <del class="diffchange diffchange-inline">verificación de </del>la <del class="diffchange diffchange-inline">corrección (utilizando Haskell </del>y <del class="diffchange diffchange-inline">QuickCheck)</del>. <del class="diffchange diffchange-inline">En el seminario se explicará el uso </del>y <del class="diffchange diffchange-inline">fundamento </del>de <del class="diffchange diffchange-inline">Darcs.<br>Más información en [https</del>:<del class="diffchange diffchange-inline">//dl.dropboxusercontent.com/u/6239815/sevilla/index.html Darcs en Sevilla]</del>.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' <ins class="diffchange diffchange-inline">En términos </ins>de <ins class="diffchange diffchange-inline">expresividad y </ins>de <ins class="diffchange diffchange-inline">comportamiento computacional, </ins>la <ins class="diffchange diffchange-inline">lógicas modales están ubicadas entre </ins>la <ins class="diffchange diffchange-inline">lógica proposicional </ins>y <ins class="diffchange diffchange-inline">la lógica del primer orden</ins>. <ins class="diffchange diffchange-inline">Es esta charla vamos a ver porqué, </ins>y <ins class="diffchange diffchange-inline">técnicas para demostrar la decibilidad o indecibilidad </ins>de <ins class="diffchange diffchange-inline">una lógica</ins>: <ins class="diffchange diffchange-inline">métodos de tableros y reducciones</ins>.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">== Sesiones anteriores del seminario ==</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="17-Diciembre-15">Seminario del 17 de diciembre de 2015</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="17-Diciembre-15">Seminario del 17 de diciembre de 2015</span> ===</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Línea 18:</td>
<td colspan="2" class="diff-lineno">Línea 20:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas. <p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática.</p> <p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla].</p></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas. <p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática.</p> <p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla].</p></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== <del class="diffchange diffchange-inline">Sesiones anteriores </del>del <del class="diffchange diffchange-inline">seminario </del>==</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>==<ins class="diffchange diffchange-inline">= <span id="16-Diciembre-15">Seminario </ins>del <ins class="diffchange diffchange-inline">16 de diciembre de 2015</span> =</ins>==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* '''Título:''' ''Darcs: un sistema de control de versiones distribuido''</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* '''Ponente:''' [http://liis.famaf.unc.edu.ar/people/guillaume-hoffmann-0 Guillaume Hoffmann] (Universidad Nacional de Córdoba, Argentina).</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* '''Hora:''' De 11:15 a 12:15.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* '''Resumen:''' [https://es.wikipedia.org/wiki/Darcs Darcs] es un sistema de control de versiones distribuido con un énfasis en la verificación de la corrección (utilizando Haskell y QuickCheck). En el seminario se explicará el uso y fundamento de Darcs.<br>Más información en [https://dl.dropboxusercontent.com/u/6239815/sevilla/index.html Darcs en Sevilla].</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="19-Junio-15">Seminario del 19 de junio de 2015</span> ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== <span id="19-Junio-15">Seminario del 19 de junio de 2015</span> ===</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1284&oldid=prev
Jalonso: /* Seminario del 17 de diciembre de 2015 */
2015-12-12T09:57:14Z
<p><span dir="auto"><span class="autocomment">Seminario del 17 de diciembre de 2015</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 09:57 12 dic 2015</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Línea 16:</td>
<td colspan="2" class="diff-lineno">Línea 16:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' <del class="diffchange diffchange-inline"><p></del>En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas.<del class="diffchange diffchange-inline"></p> </del><p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática</p><del class="diffchange diffchange-inline">. </del><p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla].</p></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas. <p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática<ins class="diffchange diffchange-inline">.</ins></p> <p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla].</p></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1283&oldid=prev
Jalonso: /* Seminario del 17 de diciembre de 2015 */
2015-12-12T09:56:17Z
<p><span dir="auto"><span class="autocomment">Seminario del 17 de diciembre de 2015</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 09:56 12 dic 2015</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Línea 16:</td>
<td colspan="2" class="diff-lineno">Línea 16:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas.<p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática. <p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla ].</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' <ins class="diffchange diffchange-inline"><p></ins>En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas.<ins class="diffchange diffchange-inline"></p> </ins><p>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática<ins class="diffchange diffchange-inline"></p></ins>. <p> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla].<ins class="diffchange diffchange-inline"></p></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=1282&oldid=prev
Jalonso: /* Seminario del 17 de diciembre de 2015 */
2015-12-12T09:55:02Z
<p><span dir="auto"><span class="autocomment">Seminario del 17 de diciembre de 2015</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 09:55 12 dic 2015</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Línea 16:</td>
<td colspan="2" class="diff-lineno">Línea 16:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* '''Hora:''' De 16:30 a 18:30.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas.<<del class="diffchange diffchange-inline">br</del>> En esta charla presentaré el software [http://darcs.net Darcs ]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática. <<del class="diffchange diffchange-inline">br</del>> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla ].</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* '''Resumen:''' En el área del desarrollo de software, el control de versiones permite agilizar muchas tareas rutinarias. Involucra un software que ayuda al programador a guardar las distintas versiones de un software en desarrollo, y hacer ciertas operaciones sobres esas.<<ins class="diffchange diffchange-inline">p</ins>>En esta charla presentaré el software [http://darcs.net Darcs]. Darcs es un sistema de control de versiones distribuido, libre y escrito en Haskell. Darcs es amigable: tiene un modelo de funcionamento accesible para usuarios inexpertos. Compararé Darcs con otros SCV (Git y Subversion) y presentaré unas ideas de proyectos que pueden interesar a estudiantes de informática. <<ins class="diffchange diffchange-inline">p</ins>> Ver también: [http://tinyurl.com/darcsensevilla Darcs en Sevilla ].</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sesiones anteriores del seminario ==</div></td></tr>
</table>
Jalonso