Diferencia entre revisiones de «Seminario de Lógica y Computación»

De WikiGLC
Saltar a: navegación, buscar
(Seminario del 4 de marzo de 2020)
Línea 2: Línea 2:
  
 
== Próximas sesiones del seminario ==
 
== Próximas sesiones del seminario ==
 +
 +
=== <span id="11-marzo-20">Seminario del 11 de marzo de 2020</span> ===
 +
* '''Título:''' ''Buenos principios y finales''
 +
* '''Ponente:''' {{mjoseh}} (Grupo de Lógica Computacional - Universidad de Huelva).
 +
* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
 +
* '''Hora:''' De 11:15 a 12:15.
 +
* '''Resumen:''' Se comentarán los principios de buena fundamentación y su uso en las demostraciones de terminación.
 +
 +
== Sesiones anteriores ==
  
 
=== <span id="4-marzo-20">Seminario del 4 de marzo de 2020</span> ===
 
=== <span id="4-marzo-20">Seminario del 4 de marzo de 2020</span> ===
Línea 10: Línea 19:
 
* '''Resumen:''' Se comentarán los objetivos de la nueva fase del Seminario y sus precedentes usando [https://www.cs.us.es/~jalonso/apuntes/Confieso_que_he_leido/Confieso_que_he_leido.html este resumen].
 
* '''Resumen:''' Se comentarán los objetivos de la nueva fase del Seminario y sus precedentes usando [https://www.cs.us.es/~jalonso/apuntes/Confieso_que_he_leido/Confieso_que_he_leido.html este resumen].
  
== Sesiones anteriores ==
+
== Sesiones de años anteriores ==
  
 
Las sesiones de años anteriores se encuentran [[Seminario del Grupo de Lógica Computacional|aquí]].
 
Las sesiones de años anteriores se encuentran [[Seminario del Grupo de Lógica Computacional|aquí]].

Revisión del 09:59 10 mar 2020

Los Seminarios de Lógica y Computación se celebrarán en el seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial. La entrada es libre hasta completar el aforo.

Próximas sesiones del seminario

Seminario del 11 de marzo de 2020

  • Título: Buenos principios y finales
  • Ponente: María J. Hidalgo (Grupo de Lógica Computacional - Universidad de Huelva).
  • Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
  • Hora: De 11:15 a 12:15.
  • Resumen: Se comentarán los principios de buena fundamentación y su uso en las demostraciones de terminación.

Sesiones anteriores

Seminario del 4 de marzo de 2020

  • Título: Como decíamos ayer
  • Ponente: José A. Alonso (Grupo de Lógica Computacional - Universidad de Huelva).
  • Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
  • Hora: De 11:30 a 12:30.
  • Resumen: Se comentarán los objetivos de la nueva fase del Seminario y sus precedentes usando este resumen.

Sesiones de años anteriores

Las sesiones de años anteriores se encuentran aquí.