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) -
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 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 ... -
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 ... -
Two qutrits universal quantum gates from the nine-dimensional unitary solutions of the Yang-Baxter equation
(SPIE-INT SOC OPTICAL ENGINEERING, 2007-04-25)Using the Kauffman-Lomonaco method, some two-qutrits universal quantum gates are derived from the nine-dimensional unitary solutions of the Yang-Baxter equations associated with algebraic structures like the partial transpose ... -
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. ... -
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 ... -
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 ... -
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 ... -
Embedding a logical Theory of Constructions in agda
(2009-01-01)We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on Martin-Löf's intuitionistic type theory. We show to embed an external programming logic, ... -
Possible quantum algorithms for the Bollobás-Riordan-Tutte polynomial of a ribbon graph
(SPIE-INT SOC OPTICAL ENGINEERING, 2008-01-01)Three possible quantum algorithms, for the computation of the Bollobás-Riordan-Tutte polynomial of a given ribbon graph, are presented and discussed. The first possible algorithm is based on the spanning quasi-trees expansion ... -
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 ... -
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. ...
