Símbolos de doble significado.
José Javier Etayo Gordejuela (1963)
Gaceta Matemática
Similarity:
Displaying similar documents to “Algunas proposiciones finita y formalmente indemostrables.”
Símbolos de doble significado.
Un estudio no standard de la teoría de la recursividad relativa.
José F. Prida (1982)
Collectanea Mathematica
Similarity:
Gramáticas discriminantes y funciones discriminantes lineales generalizadas.
Ana García Fornes, Antonio Ruiz Calomarde, Francisco Casacuberta Nolla, Enrique Vidal Ruiz (1989)
Qüestiió
Similarity:
Las Gramáticas Discriminantes constituyen una aproximación para la clasificación de frases generadas por Gramáticas cuando la presencia de ruidos y distorsiones hace difícil la aplicación de las Técnicas usuales de Análisis Sintáctico. Sin embargo, la formulación original (Filipski 80) presenta una restricción pues las gramáticas características deben ser las mismas para todas las clases. En este trabajo se presenta una solución al problema, mediante la aplicación de una Extensión de...
De cómo ciertos conjuntos no pueden ser NP-completos.
José Luis Balcázar (1982)
Qüestiió
Similarity:
En este artículo se presenta una visión general a los últimos resultados acontecidos en el área de la estructura de la clase NP-completa y su relación con el problema de si P = NP o P ≠ NP.
Un sistema de reglas para el cálculo proposicional.
M. Fartos Martínez (1976)
Gaceta Matemática
Similarity:
De lo viejo a lo nuevo en Teoría de la Computación: teoría de lenguajes formales y de autómatas vs. computación molecular.
Carlos Martín Vide, Gheorghe Paun (2002)
Gaceta de la Real Sociedad Matemática Española
Similarity:
Derivación.
E. F. G-Rodeja (1961)
Gaceta Matemática
Similarity:
Aleatoreidad e inmunidad.
J. F. Prida (1995)
Revista Matemática de la Universidad Complutense de Madrid
Similarity:
By introducing the concept of randomness through notions of recursion theory, the set of the random numbers is effectively immune. The proof of this well-known result makes an essential use of the recursion theorem. In this paper, randomness is introduced starting from the more common notion of definability in Robinson's arithmetic and the same result is obtained using an extension of the fixed-point theorem, which we prove at the end of the paper. Finally we define a recursive function...
Funciones de una variable real con valores en un espacio vectorial de convergencia. I. Derivadas.
Fernando Castañeda Bravo (1982)
Revista Matemática Hispanoamericana
Similarity:
Any order derivations of functions of a real variable with values in a convergence vector space over R (c.v.s.) have been defined. This will allow us to develop (in a following paper) the integration for this type of functions. Some results have been obtained: we build up a c.v.s. isomorphism between a c.v.s. F and the c.v.s. L(R;F) -the continuous linear mappings of R into F endowed with the continuous convergence structure A-. We prove a function f: R → F to be of class C if, and only...
Miniquery oral para una base de datos bibliográfica.
Héctor Rulot Segovia, Emilio Sanchis Arnal, Enrique Vidal Ruiz, Francisco Casacuberta Nolla (1984)
Qüestiió
Similarity:
En este trabajo se unen los resultados prácticos de las investigaciones del CIUV en Reconocimiento Automático del habla con aplicaciones ya consolidadas en el área de las Bases de Datos, abordándose el problema de la obtención de información de una Base de Datos Bibliográfica mediante un reducido lenguaje de consulta oral ("MIni-query oral"). Se estudian los problemas planteados por este tipo de sistemas en los campos de Bases de Datos, Reconocimiento Sintáctico-difuso de frases y Reconocimiento...