Lógica y Computación
URI permanente para esta comunidad
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
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
Examinar
Examinando Lógica y Computación por Fecha de publicación
Mostrando 1 - 20 de 126
Resultados por página
Opciones de ordenación
Ítem Sistema de logica paraconsistente C1(Fondo Editorial Universidad EAFIT, 2000-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Computación cuántica: una perspectiva desde lo continuo(Fondo Editorial Universidad EAFIT, 2000-04-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistemas de logica diagonal LD1, LD2, , LD42(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem El formalismo de la teoría gauge en la computación cuántica(Sociedad Colombiana de Física, 2001-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Arboles de forzamiento semantico(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Hipercomputación: la próxima generación de la computación teórica(Fondo Editorial Universidad EAFIT, 2001-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍ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Í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 Declarative debugging of functional logic programs(Elsevier BV, 2001-01-01) Alpuente, M.; Correa, F.J.; Falaschi, M.; Alpuente, M.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónWe present a general framework for the declarative debugging of functional logic programs, which is valid both for eager as well as lazy programs. We associate to our programs a semantics based on a (continuous) immediate consequence operator which models computed answers. Then we show that, given the intended specification of a program P, it is possible to check the correctness of P by a single step of the immediate consequence operator. We also present a more effective methodology which is based on abstract interpretation. By approximating the intended specification of the success set we derive a finitely terminating debugging method, which can be used statically. Our framework is parametric w.r.t. to the chosen approximation of the success set. We present one specific example of approximation. We provide an implementation of our debugging system which shows experimentally on a wide set of benchmarks that we are able to find some common errors in the user programs. © 2001 Published by Elsevier Science B. V.Í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 A debugging scheme for functional logic programs(Elsevier BV, 2002-01-01) Alpuente, M.; Correa, F.; Falaschi, M.; Alpuente, M.; Correa, F.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónWe present a generic scheme for the declarative debugging of functional logic programs which is valid for eager as well as lazy programs. In particular we show that the framework extends naturally some previous work and applies to the most modern lazy strategies, such as needed narrowing. First we associate to our programs a semantics based on a (continuous) immediate consequence operator, TR, which models computed answers. We show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. We consider then a more effective methodology which is based on abstract interpretation: by approximating the intended specification of the success set we derive a finitely terminating diagnosis method, which can be used statically and is parametric w.r.t. to the chosen approximation. In order to correct the bugs, we sketch a preliminary deductive approach which uses example-guided unfolding. We specialize the incorrect rules w.r.t. sets of positive and negative examples which are gathered (bottom-up) during the diagnosis process, so that all refutations of negative examples and no refutation of positive examples are excluded. Our debugging framework does not require the user to either provide error symptoms in advance or answer difficult questions concerning program correctness. We extend an implementation of our system to the case of needed narrowing and illustrate it through some examples which demonstrate the practicality of our approach. © 2002 Published by Elsevier Science B.V.Ítem Logica Basica paraconsistente y paracompleta con negacion clasica(Fondo Editorial Universidad EAFIT, 2002-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem A Debugging Scheme of Functional Logic Programs(Elsevier BV, 2002-01-01) Correa, Francisco Jose; CORREA, FRANCISCO JOSE; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica con Aceptación Fuerte(2003-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Correction of functional logic programs(SPRINGER, 2003-01-01) Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónWe propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.Ítem Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente LBPc(Fondo Editorial Universidad EAFIT, 2003-06-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Computación cuántica geométrica: modelo de 3 estados(Sociedad Colombiana de Física, 2004-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica Paraconsistente y Paracompleta y algunas de sus extensiones(Fondo Editorial Universidad EAFIT, 2004-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Appendix: Subroutines and M-functions(2004-01-01) Sicard, AndrésÍtem Universalidad de la computación cuántica geométrica: modelo del medio Kerr(Sociedad Colombiana de Física, 2004-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación