Diferencia entre revisiones de «Seminario de Lógica y Computación»
| (No se muestran 6 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | 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. | + | 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 == | == Próximas sesiones del seminario == | ||
| + | |||
| + | == Sesiones anteriores == | ||
| + | |||
| + | === <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 Sevilla). | ||
| + | * '''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. | ||
=== <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> === | ||
* '''Título:''' ''Como decíamos ayer'' | * '''Título:''' ''Como decíamos ayer'' | ||
| − | * '''Ponente:''' {{ | + | * '''Ponente:''' {{jalonso}} (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. | * '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial. | ||
* '''Hora:''' De 11:30 a 12:30. | * '''Hora:''' De 11:30 a 12:30. | ||
| − | * '''Resumen:''' Se comentarán los objetivos de la nueva fase del Seminario y sus precedentes. | + | * '''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 actual del 16:24 3 may 2021
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.
Sumario
Próximas sesiones del seminario
Sesiones anteriores
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 Sevilla).
- 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.
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í.
