Repositorio de producción científica de la Universidad de Sevilla

Programas moleculares y sistemas lógico-formales

 

Advanced Search
 
Opened Access Programas moleculares y sistemas lógico-formales
Cites
Show item statistics
Icon
Export to
Author: Nepomuceno Fernández, Ángel
Pérez Jiménez, Mario de Jesús
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2012
Published in: Kairos: Revista de Filosofia e Ciência, 5, 77-89.
Document type: Article
Abstract: Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, a cada programa molecular...
[See more]
Cite: Nepomuceno Fernández, Á. y Pérez Jiménez, M.d.J. (2012). Programas moleculares y sistemas lógico-formales. Kairos: Revista de Filosofia e Ciência, 5, 77-89.
Size: 207.4Kb
Format: PDF

URI: http://hdl.handle.net/11441/57526

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)