1.5.Etiquetas

Molecular

Los verbos de transferencia de información en los textos periodísticos: análisis sintáctico y discursivo.
La complejidad alcanzada por la sociedad contemporánea ha hecho que el ser humano no pueda conocer por sí mismo todos los datos y opiniones referentes a los temas que le interesan, por lo que se ve obligado a recurrir a los medios de comunicación, los cuales han adquirido una importancia de tales dimensiones que, a pesar de su carácter relativamente reciente, cuentan con una nutrida bibliografía sobre su incidencia y efectos (cf. Wolf, 1999:23). Los medios de comunicación constituyen uno de los fenómenos más influyentes hoy en día y un excepcional observatorio del idioma, de forma que el interés de ...
Programación celular: resolución eficiente de problemas numéricos NP-completos.
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace una breve introducción histórica de la Teoría de la Computabilidad, analizándose las limitaciones y potencia de los modelos que formalizan el concepto de procedimiento mecánico, así como de la Teoría de la Complejidad Computacional, justificándose la necesidad de estudiar nuevos modelos de computación a fin de mejorar la resolución cuantitativa de problemas matemáticos especialmente difíciles, desde el punto de vista de esta teoría. También se describen brevemente nuevos modelos de computación inspirados en la forma en que la Naturaleza calcula. El Capítulo ...
Verificación formal en ACL2 del Algoritmo de Buchberger.
En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del algoritmo de Buchberger para el cálculo de bases de Gröbner, utilizando para ello un sistema de razonamiento automatizado (ACL2); esto incluye la formalización completa y precisa de toda la teoría matemática subyacente. Concretamente: -El desarrollo de una teoría computacional sobre los anillos de polinomios de múltiples variables. -La obtención de un orden natural a los polinomios de múltiples variables y demostración de su buena fundamentación. -La representación de los conceptos asociados a los ideales polinómicos de manera que sea posible razonar sobre ellos ...