UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

Simposio sobre
Lenguaje, Lógica y Computación

• Dr. Favio Miranda
• Dra. Lourdes del Carmen
• Dr. Oliver Marshall

📆 Jueves 22 de junio, 12:00 horas

Resumen:
Presentación introductoria sobre su proyecto de aplicaciones de ideas de computación teórica (comenzando con cálculo lambda) a lógica, fundamentos de matemáticas para ciencias de la computación, filosofía del lenguaje y lingüística. Luego darán una plática histórica y filosófica y después presentarán algo más técnico.

^{Organiza la Academia Mexicana de Lógica.
Responsable: Dr. Oliver Marshall}