Se hace una atenta invitación a participar en la Escuela Mexicana de
Lógica Matemática que se llevará a cabo del 21 al 25 de febrero en la
sala Leonila Vázquez, ubicada dentro del conjunto Amoxcalli de la
Facultad de Ciencias.
Este evento forma parte del proyecto PAPIIT IN-108810 y tiene como objetivo
difundir la lógica y sus relaciones con otras áreas como las ciencias de la computación, la topología y los fundamentos de la matemática.
Los cursos que se impartirán son:
Ideales y filtros sobre conjuntos numerables
David Meza Alcántara
FCFM UNSNH
La lógica en el desarrollo de la geometría y la geometría en el desarrollo
de la lógica.
Carlos Torres Alcaraz
Facultad de Ciencias UNAM
Guillermo Zambrana Castañeda UAM-I
Una introducción al cálculo lambda.
Favio E. Miranda Perea.
Lourdes del Carmen González Huesca
Facultad de Ciencias UNAM.
Conferencias de divulgación:
Lógicas No Clásicas: Un reto para la lógica matemática
Atocha Aliseda Llera, IIF UNAM
El Teorema de Correctud-Completud Fuerte: Un enfoque semántico
José Alfredo Amor y Montaño, Facultad de Ciencias UNAM
Un vínculo entre la lógica y la combinatoria
Gabriela Campero Arena, Facultad de Ciencias UNAM
Lógica en Ciencias de la Computación: una perspectiva personal.
Miguel Carrillo Barajas, IIMAS UNAM e ITESM-CCM
Demostrabilidad y lógica modal
Max Fernández de Castro Tapia, UAM-I
La relación entre la lógica y la topología
Yolanda Torres Falcón, UAM-I
Para más información, consultar el sitio:
https://sites.google.com/site/eslogmx/
Por el comité organizador,
Favio E. Miranda Perea.
--
Dr. Jose Alfredo Amor y Montaño
Departamento de Matematicas
Facultad de Ciencias UNAM
No hay comentarios:
Publicar un comentario
Gracias por dejarme tu comentario