Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co

Docentes e investigadores EAFIT Manuel Hernando Sierra Aristizábal - Docentes e Investigadores

EAFITDocentes e investigadores EAFITManuel Hernando Sierra Aristizábal - Docentes e Investigadores

Manuel Hernando Sierra Aristizábal

​​​​​​​​​​​​​​​​​​​​​​Departamento de Ciencias Matemáticas

Información general

Magíster en Matemáticas, Universidad Nacional de Colombia sede Bogotá.

Contacto

  • Teléfono/p​hone: (57) (4) 261 9500, extensión 9431.

  • Correo electrónico/e-mail: msierra@eafit.edu.co.
  • Dirección/address: carrera 49 número 7 sur 50, Medellín (Colombia). Bloque 38, oficina 433.​
  • Ver C​VLac​​​ ​​​​

Resumen CV / Summary

Licenciado en Matemáticas de la Universidad de Medellín, magíster en Ciencias Matemáticas de la Universidad Nacional de Colombia. Profesor del Departamento de Ciencias Matemáticas, trabaja en las áreas de Lógica y Cálculo, así como en el diseño de aplicaciones informáticas para la enseñanza de las matemáticas.

Intereses académicos e investigativos / Research and Teaching Interest

  • ​​​Lógicas no-clásicas.
  • Aplicaciones informáticas en la enseñanza de las matemáticas.​

 

Grupos de investigación a los que pertenece​ / Research groups​

Lógica y Computación.​​​​

Estudios realizados / Education

  • ​​Maestría en Matemáticas, Universidad Nacional de Colombia, sede Bogotá.
  • Licenciatura en Matemáticas, Universidad de Medellín (Udem)​.

 

​Experiencia profesional, académica e investigativa / Professional and research experience​

Universidad EAFIT desde 2000.​​​​

Publicaciones / Publications

  • Sierra,M.H. Arboles de forzamiento semántico para operaciones entre conjuntos. Revista Facultad de Ciencias Básicas. 2017
  • Sierra,M.H. Sistemas multi-modales de profundidad restringida. Revista Ingeniería y Ciencia. 2008

  • Sierra,M.H. Sistema paraconsistente y paracompleto LBPcPo. Revista Universidad EAFIT. 2007

  • Sierra,M.H. Tipos de Razonadores. Revista Universidad EAFIT. 2007​

  • Sierra,M.H. Caracterización semántica de la jerarquía SCR-n. Revista Boletín de Matemáticas. 2007
  • ​Sierra,M.H. Algunas lógicas modales asociadas al razonamiento de agentes inteligentes. Revista Ingeniería y Ciencia. 2007

  • Sierra,M.H. Lógica básica para la verdad y la falsedad. Revista Ingeniería y Ciencia. 2007

  • Sierra,M.H. Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas. Revista Boletín de Matemáticas. 2006

  • Sierra,M.H. Sistema paraconsistente LBPc¬I. Revista Ingeniería y Ciencia. 2006

  • Sierra,M.H. Lógi​ca básica con afirmación y negación alternas. Revista Universidad EAFIT. 2005

  • Sierra,M.H. Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones. Revista Boletín de Matemáticas. 2005

  • Sierra,M.H. Lógica básica con afirmación alterna. Revista Ingeniería y Ciencia. 2005

  • Sierra,M.H. Lógica básica paraconsistente y paracompleta y algunas de sus extensiones. Revista Universidad EAFIT. 2004

  • Sierra,M.H. Forzamiento semántico de marcas para la lógica básica paraconsistente. Revista Universidad EAFIT. 2003

  • Sierra,M.H. Lógica básica paraconsistente y paracompleta con negación clásica. Revista Universidad EAFIT. 2002

  • Sierra,M.H. Lógica básica con aceptación fuerte. Revista Boletín de Matemáticas. 2002
  • Sierra,M.H. Inferencia visual para las lógicas normales. Fondo Editorial Universidad EAFIT. 2001
  • Sierra,M.H. Arboles de forzamiento semántico. Revista Universidad EAFIT. 2001

  • Sierra,M.H. Sistemas de lógica diagonal LD1, LD2, …, LD42. Revista Universidad EAFIT. 2001

  • Sierra,M.H. Sistema de lógica paraconsistente C1. Revista Universidad EAFIT. 2000

  • Sierra,M.H. Consistencia de los sistemas LD1, …, LD10. Revista Boletín de Matemáticas. 1998

  • Sierra,M.H.   ​Lógica diagonal. Revista Boletín de Matemáticas. 1996
  • Sierra,M.H. Restricted normal modal logics and levelled possible worlds semantics. Journal Of Logic And Computation. 2014
  • Sierra,M.H. Sistema paracompleto LBPo¬C. Revista Boletín De Matemáticas. 2007
  • Sierra,M.H. Lógica de las tautologías. Revista Ingeniería Y Ciencia. 2012
  • Sierra,M.H. Lógicas epistémica y doxástica con restricciones. Revista Ingeniería Y Ciencia. 2010
  • Sierra,M.H. Precisiones sobre la derivada y la anti-derivada de la raíz de una potencia entera. Revista De La Facultad De Ciencias Universidad Nacional Medellín. 2016
  • Sierra,M.H. Argumentación deductiva con diagramas y árboles de forzamiento. Colombia. 2010
  • Sierra,M.H. Lógica Básica Para La Verdad Aristotélica. Colombia. 2010



Última modificación: 01/03/2018 14:37