<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author><author><style face="normal" font="default" size="100%">Grzegorz Rozenberg</style></author><author><style face="normal" font="default" size="100%">Arto Salomaa</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Dnk Kompjuter. Novaja Paradigms Vytsislenii</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><publisher><style face="normal" font="default" size="100%">Izdatelstvo Mir</style></publisher><pub-location><style face="normal" font="default" size="100%">Rusia</style></pub-location><pages><style face="normal" font="default" size="100%">527</style></pages><isbn><style face="normal" font="default" size="100%">5-03-003480-3 </style></isbn><notes><style face="normal" font="default" size="100%">Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa (coautores)</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author><author><style face="normal" font="default" size="100%">Grzegorz Rozenberg</style></author><author><style face="normal" font="default" size="100%">Arto Salomaa</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">DNA Computing. New Computing Paradigms (Translation in the Simplified Version of the English Version)</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer-Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Wuhan</style></pub-location><pages><style face="normal" font="default" size="100%">354</style></pages><isbn><style face="normal" font="default" size="100%">7-302-08658-3 </style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Fernando Sancho-Caparrini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Máquinas moleculares basadas en ADN</style></title><secondary-title><style face="normal" font="default" size="100%">Colección de Divulgación Científica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.cs.us.es/~marper/investigacion/libroadn1.html</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Secretariado de Publicaciones. Universidad de Sevilla </style></publisher><pub-location><style face="normal" font="default" size="100%">Seville</style></pub-location><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">255</style></pages><isbn><style face="normal" font="default" size="100%">84-472-0777-3</style></isbn><abstract><style face="normal" font="default" size="100%">La Computación Natural o Biocomputación es una disciplina inspirada en el funcionamiento de los organismos vivos y tiene como objetivo fundamental la simulación e implementación de los procesos dinámicos que se dan en la Naturaleza y que son susceptibles de ser considerados como procedimientos de cálculo. 

La Computación Biomolecular es la rama de la Computación Natural que trata del procesamiento de la información codificada a través de macromoléculas (como el ADN, el ARN o las proteínas). En 1994 esta computación pasa de un plano teórico (in info) a un plano experimental ( in vitro). Es el nacimiento de la computación molecular basada en ADN. 

Este libro tiene como objetivo principal el estudio de ciertas máquinas moleculares diseñadas en modelos no convencionales dentro del marco de la Computación Natural, desde el punto de vista de la potencia computacional y de la capacidad para atacar la resolubilidad de problemas matemáticos especialmente difíciles. 

Para ello, se han elegido tres modelos de computación molecular que poseen características dispares y usan como sustrato físico el ADN. Los dos primeros, el modelo no restringido de Adleman y el modelo débil de Amos, son modelos sin memoria ya que sus operaciones primitivas no alteran la estructura interna de las moléculas. El tercer modelo objeto de estudio es el modelo sticker, que admite operaciones que alteran dicha estructura y, por tanto, puede usar las moléculas a modo de unidades de memoria, susceptibles de ser modificadas en en tiempo de ejecución. 

Este libro es el primer texto escrito en lengua castellana dedicado a la Computación Molecular basada en ADN. Esperamos y confiamos que su contenido proporcione métodos y técnicas que puedan ser de utilidad para estudios posteriores acerca de dichos modelos no convencionales, en particular para el análisis de la robustez de procedimientos complejos descritos en dichos modelos y para la mecanización de los procesos de verificación de programas moleculares en sistemas de razonamiento automático. </style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author><author><style face="normal" font="default" size="100%">Grzegorz Rozenberg</style></author><author><style face="normal" font="default" size="100%">Arto Salomaa</style></author><author><style face="normal" font="default" size="100%">Claudio Zandron</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers</style></title><secondary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dblp.uni-trier.de/db/conf/wmp/wmc2002.html</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">2597</style></volume><isbn><style face="normal" font="default" size="100%">3-540-00611-7</style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Fernando Sancho-Caparrini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Computación Celular con Membranas: Un Modelo no Convencional </style></title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.cs.us.es/~marper/investigacion/librocelular1.html</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Editorial Kronos</style></publisher><pub-location><style face="normal" font="default" size="100%">Sevilla, España</style></pub-location><pages><style face="normal" font="default" size="100%">II+107</style></pages><isbn><style face="normal" font="default" size="100%">84-86273-52-8</style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Membrane Computing. An Introduction</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer-Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlín, Alemania</style></pub-location><pages><style face="normal" font="default" size="100%">XI+419</style></pages><isbn><style face="normal" font="default" size="100%">3-540-43601-4</style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Álvaro Romero-Jiménez</style></author><author><style face="normal" font="default" size="100%">Fernando Sancho-Caparrini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Teoría de la Complejidad en Modelos de Computación Celular con Membranas</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.cs.us.es/~marper/investigacion/librocelular2.html</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Editorial KRONOS</style></publisher><pub-location><style face="normal" font="default" size="100%">Seville (Spain)</style></pub-location><pages><style face="normal" font="default" size="100%">II+118 pages</style></pages><isbn><style face="normal" font="default" size="100%">84-86273-57-9</style></isbn><notes><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez; Álvaro Romero-Jiménez; Fernando Sancho-Caparrini (coautores)</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Justo Blázquez-Gallego</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%"> Vida Artificial: Estudio y Análisis del Programa SWARM </style></title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><pages><style face="normal" font="default" size="100%">104</style></pages><isbn><style face="normal" font="default" size="100%">84-699-4449-5</style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">José A. Alonso-Jiménez</style></author><author><style face="normal" font="default" size="100%">Joaquín Borrego-Díaz</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">José L. Ruiz-Reina</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%"> Curso Práctico de Teoría de Conjuntos </style></title></titles><dates><year><style  face="normal" font="default" size="100%">1998</style></year></dates><publisher><style face="normal" font="default" size="100%">Ediciones La Ñ</style></publisher><pages><style face="normal" font="default" size="100%">XXV+345</style></pages><isbn><style face="normal" font="default" size="100%">84-89524-45-9</style></isbn><abstract><style face="normal" font="default" size="100%">Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro de problemas resueltos estructurados de manera sistemática.

El Curso Práctico de Teoría de Conjuntos que presentamos, trata de cubrir ese vacío bibliográfico y consideramos que puede ser de interés tanto para profesores como para alumnos universitarios que necesiten trabajar con elementos varios de la Teoría de Conjuntos (órdenes, funciones, inducción, recursión, ordinales, finitud, numerabilidad, cardinales,...). Por tanto, puede ser un buen libro de consulta sobre estos temas, a niveles de primer y/o segundo ciclo universitario.

Los temas del curso están estructurados en tres partes: en la primera se presenta un breve resumen teórico de los conceptos y resultados más importantes que se abordan; en la segunda parte se describen exhaustivamente soluciones de problemas relativos al contenido del mismo, y la última se expone una lista de ejercicios propuestos (muchos de ellos con indicaciones clarificadoras). </style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Esquemas del Máximo en la Aritmética</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><publisher><style face="normal" font="default" size="100%">Editorial de la Universidad de Sevilla</style></publisher><pages><style face="normal" font="default" size="100%">9+2 microfilms</style></pages><isbn><style face="normal" font="default" size="100%">84-472-0079-5</style></isbn></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Teoría de Clases y Conjuntos</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1988</style></year></dates><publisher><style face="normal" font="default" size="100%">Editorial Edunsa</style></publisher><pages><style face="normal" font="default" size="100%">XVIII+582</style></pages><isbn><style face="normal" font="default" size="100%">84-7747-000-6</style></isbn></record></records></xml>