Libros
URI permanente para esta colección
Examinar
Envíos recientes
Í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ónLa 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Í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ónProvides 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.Í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Í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Í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ónLa 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.Í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ónEste 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.Í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ónEste 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.Í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