Libros

URI permanente para esta colección

https://hdl.handle.net/10784/27435

Examinar

Examinando Libros por Autor "Sierra-Aristizabal, Manuel H."

Mostrando 1 - 2 de 2
  • No hay miniatura disponible
    Ítem
    Argumentación deductiva con diagramas y árboles de forzamiento
    (Fondo Editorial Universidad EAFIT, 2010-01-01) Sierra-Aristizabal, Manuel H.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    Este libro se encuentra orientado hacia la argumentación deductiva con énfasis en la presentación visual con diagramas, con los cuales se busca mostrar de manera precisa y detallada la forma como se articula un razonamient.
  • No hay miniatura disponible
    Ítem
    Inferencia visual para las lógicas normales
    (Editorial EAFIT, 2011-01-01) Sierra-Aristizabal, Manuel H.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    Este texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.