Lógica y Computación
Realiza actividades enfocadas en la construcción de modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de instaurar las diferentes posibilidades que ofrece la física cuántica, y en general la física moderna, para la construcción de nuevos modelos de computación y programación.
Líneas de investigación:Computabilidad; Lógicas no Clásicas; Lógicas, Lenguajes y Algoritmos; Mecánica Cuántica y Computación.
Código Minciencias: COL0013352.
Categoría 2019: B.
Escuela: Ciencias.
Departamento académico: Ciencias Matemáticas.
Coordinador: Andrés Sicard Ramírez.
Correo electrónico: asr@eafit.edu.co
Collections in this community
Recent Submissions
-
Closed-form solutions for drug transport through controlled-release devices in two and three dimensions
(Wiley, 2015-04-01)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 ... -
Argumentación deductiva con diagramas y árboles de forzamiento
(Fondo Editorial Universidad EAFIT, 2010-01-01)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. -
Inferencia visual para las lógicas normales
(Editorial EAFIT, 2011-01-01)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. -
Informática teórica: Elementos propedéuticos
(Editorial EAFIT, 2001-01-01)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 ... -
Métodos numéricos
(Fondo Editorial Universidad EAFIT, 2010-01-01)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 ... -
Lógica Básica Para La Verdad Aristotélica
(Editorial EAFIT, 2010-01-01) -
Inferencia Visual Para Lógicas Normales
(Editorial EAFIT, 2001-01-01) -
Informática Teórica. Elementos Propedeúticos
(Editorial EAFIT, 2001-03-01) -
Solving large systems of linear equations on GPUs
(Springer Verlag, 2018-01-01)Graphical Processing Units (GPUs) have become more accessible peripheral devices with great computing capacity. Moreover, GPUs can be used not only to accelerate the graphics produced by a computer but also for general ... -
Implementing an active learning platform to support student learning in a numerical analysis course
(Institute of Electrical and Electronics Engineers Inc., 2017-01-01)Classroom instruction in the 21st century needs to incorporate innovative, research-based pedagogies. The engineering classroom is currently experiencing a shift towards more active learning activities due to both advances ... -
Solving Large Systems of Linear Equations on GPUs
(Springer, 2018-08-19)Graphical Processing Units (GPUs) have become more accessible peripheral devices with great computing capacity. Moreover, GPUs can be used not only to accelerate the graphics produced by a computer but also for general ... -
Solving stochastic epidemiological models using computer algebra
(SPIE-INT SOC OPTICAL ENGINEERING, 2011-01-01)Mathematical modeling in Epidemiology is an important tool to understand the ways under which the diseases are transmitted and controlled. The mathematical modeling can be implemented via deterministic or stochastic models. ... -
Mathematical model for dengue with three states of infection
(SPIE-INT SOC OPTICAL ENGINEERING, 2012-01-01)A mathematical model for dengue with three states of infection is proposed and analyzed. The model consists in a system of differential equations. The three states of infection are respectively asymptomatic, partially ... -
Basic reproductive rate of a spatial epidemic model using computer algebra software
(2005-01-01)Using computer algebra software we obtain the basic reproductive rate corresponding to the propagation of a directly transmitted disease in a circular habitat when the disease is endemic at the boundary. The method used ... -
The Critical Proportion of Immune Individuals needed to Control Hepatitis B
(SPIE-INT SOC OPTICAL ENGINEERING, 2016-05-13)We estimate the critical proportion of immunity (Pc) to control hepatitis B in Medellin - Colombia, based on a random population survey of 2077 individuals of 6-64 years of age. The force of infection (Fi) was estimated ... -
Symbolic solution for generalized quantum cylindrical wells using computer algebra
(2008-01-01)This paper present how to solve the problem of cylindrical quantum wells with potential energy different from zero and with singularity of the energy on the axis of the cylinder. The solution to the problem was obtained ... -
Dynamics of an Electrochemical Biosensor for the Detection of Toxic Substances in Water
(SPIE-INT SOC OPTICAL ENGINEERING, 2016-01-01)A proposed analytical method focuses on electrolyte transport to the electrode of an electrochemical cell. The recombinant Escherichia coli whole-cell biosensor detects toxicity in water based on a set of biochemical ... -
Solution of the wave equation for an oscillating punctual source by means of the finite elements method
(SPIE-INT SOC OPTICAL ENGINEERING, 2016-01-01)Finite Elements Method (FEM) and Finite Differences Method (FDM) in the Euler implicit approach, were used in order to determine the bi-dimensional electromagnetic field of an oscillating punctual source inside a square ... -
Possible topological quantum computation via khovanov homology: D-brane topological quantum computer
(SPIE-INT SOC OPTICAL ENGINEERING, 2009-01-01)A model of a D-Brane Topological Quantum Computer (DBTQC) is presented and sustained. The model isbased on four-dimensional TQFTs of the Donaldson-Witten and Seiber-Witten kinds. It is argued that the DBTQC is able to ... -
The epidemic threshold theorem with social and contact heterogeneity
(SPIE-INT SOC OPTICAL ENGINEERING, 2008-03-17)The threshold theorem of an epidemic SIR model was compared when infectious and susceptible individuals have homogeneous mixing and heterogeneous social status and when individuals of random networks have contact heterogeneity. ...
