Árboles, semántica y lógica de términos

El 25 Febrero 2020 11:50

Dr. J. Martín Castro-Manzano
Decanatura de Artes, Humanidades

 

En esta conferencia se busca proporcionar una semántica formal para las lógicas de términos mediante el uso de árboles analíticos. Esto permite la revitalización de la lógica tradicional usando herramientas de la lógica contemporánea.

 

*cartel descargable abajo en la sección Archivos


Licenciado en Filosofía y Maestro en Inteligencia Artificial por la Universidad Veracruzana (UV), Doctor en Filosofía de la Ciencia por la Universidad Nacional Autónoma de México (UNAM), y tiene formación en Ciencias Computacionales por la Benemérita Universidad Autónoma de Puebla (BUAP). Miembro del Sistema Nacional de Investigadores (Nivel 1); es Miembro de la Academia Mexicana de Lógica y ha sido socio de la Sociedad Mexicana de Inteligencia Artificial.


pepsi hometelcel home
¿Quieres ser parte de nuestros patrocinadores?

Quiero ser patrocinador