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

Programas moleculares y sistemas lógico-formales

 

Búsqueda avanzada
 
Opened Access Programas moleculares y sistemas lógico-formales
Citas
Estadísticas
Icon
Exportar a
Autor: Nepomuceno Fernández, Ángel
Pérez Jiménez, Mario de Jesús
Departamento: 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
Fecha: 2012
Publicado en: Kairos: Revista de Filosofia e Ciência, 5, 77-89.
Tipo de documento: Artículo
Resumen: 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...
[Ver más]
Cita: 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.
Tamaño: 207.4Kb
Formato: PDF

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

Ver versión del editor

Salvo que se indique lo contrario, los contenidos de esta obra estan sujetos a la licencia de Creative Commons: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones