Libros

URI permanente para esta colección

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

Examinar

Examinando Libros por Título

Mostrando 1 - 8 de 8
  • 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
    Closed-form solutions for drug transport through controlled-release devices in two and three dimensions
    (Wiley, 2015-04-01) Ospina, Juan Fernando; Laurent, Simon; Ospina, Juan Fernando; Laurent, Simon; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    Provides solutions for two- and three-dimensional linear models of controlled-release systems Real-world applications are taken from used to help illustrate the methods in Cartesian, cylindrical and spherical coordinate systems Covers the modeling of drug-delivery systems and provides mathematical tools to evaluate and build controlled-release devices Includes classical and analytical techniques to solve boundary-value problems involving two- and three-dimensional partial differential equations Provides detailed examples, case studies and step-by-step analytical solutions to relevant problems using popular computational software. © 2016 by John Wiley & Sons, Inc. All rights reserved.
  • 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.
  • No hay miniatura disponible
    Ítem
    Inferencia Visual Para Lógicas Normales
    (Editorial EAFIT, 2001-01-01) SIERRA, MANUEL HERNANDO; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
  • No hay miniatura disponible
    Ítem
    Informática Teórica. Elementos Propedeúticos
    (Editorial EAFIT, 2001-03-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
  • No hay miniatura disponible
    Ítem
    Informática teórica: Elementos propedéuticos
    (Editorial EAFIT, 2001-01-01) Gomez, Raul; Sicard, A; Gomez, Raul; Sicard, A; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    La obra que aquí ofrecemos es el producto de un haz de confluencias, realizado a partir de encuentros afortunados que nos han permitido compartir nuestros conocimientos y experimentaciones como profesores de los diversos cursos del área de Matemáticas.
  • No hay miniatura disponible
    Ítem
    Lógica Básica Para La Verdad Aristotélica
    (Editorial EAFIT, 2010-01-01) SIERRA, MANUEL HERNANDO; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
  • No hay miniatura disponible
    Ítem
    Métodos numéricos
    (Fondo Editorial Universidad EAFIT, 2010-01-01) Correa, F.; Correa, F.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    La obra aborda de forma agradable un panorama conceptual del tema y propone con riqueza metodológica, posibilidades de aplicación de cada método con argumentos matemáticos y computacionales.Los lectores que desarrollen las competencias planteadas