Límites restringidos en funciones naturales con gráficos aritméticos

Vista sencilla de ítem
dc.contributor.authorMycka, Jerzyspa
dc.contributor.orcidMycka, Jerzy [0000-0002-4029-3122]spa
dc.contributor.researchgateMycka, Jerzy [Jerzy-Mycka]spa
dc.date.accessioned2020-10-27T00:21:22Z
dc.date.available2020-10-27T00:21:22Z
dc.date.issued2003-12-01
dc.description.abstractEn este artículo consideramos el proceso de definición de funciones naturales por la operación de límite infinito: F(2) = f(2, y) (también se toman en cuenta los límites inferior y superior). Si se suponen dos restricciones: la función natural dada f tiene un gráfico que pertenece a alguna etapa de una jerarquía aritmética, el índice de un límite pasa sólo por un subconjunto aritmético dado A de números naturales. Investigamos la clase aritmética de la gráfica de la función F, donde se conocen las respectivas clases de la gráfica de f y del conjunto A. Se formula el corolario para los grados de Turing de F.spa
dc.description.abstractenglishIn this paper we consider the procesa of defining natural functions by the operation of infinite limit: F(2) = f(2, y) (also limes inferior and limes superior are taken into account). I3ut two restrictions are assumed: the given natural function f has a graph belonging to some stage of an arithmetical hierarchy, the índex of a limit runs Only through a given arithmetical subset A of natural numhers. We investigate the arithmetical class of the graph of the function F, where the respective classes of the graph of f and the set A are known. The corollary for the Turing degrees of F is formulated.eng
dc.format.mimetypeapplication/pdfspa
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9047
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1089/1061
dc.relation.referencesR. I)owney, I). Ilirselifeldt, and G. LaForte, Itandoinness and redueibility, in l'incoa-ing of Mathernatical Foundation of Computer Science, LNGS 2136, 316-327, Springer-Verlag, 2001.
dc.relation.referencesR. Downey, G. LaForte, S. Lempp, A a,51 set with barely E9 degree, Journol of Symbolic Logic, 64: 1700-1718, 1999.
dc.relation.referencesEncyclopaedia of Mathematics, Upper and lotver bounds, Kluwer Academie Publishers, 1993.
dc.relation.referencesS. Hayashi and M. Nalcata, Towards Limit Computable Mathematics, in Types for Proofs and Programs, International Workshop, TYPES 2000, LNCS 2277, 125-144, Springer-Verlag, 2000.
dc.relation.referencesJ. Hoperoft and J. Miman, Introduction to automata theory, languages and computa-tion, Addison-Wesely, 1979.
dc.relation.referencesL.A. Rubel, Some Mathematical Limitations of the General-Purpose Analog Computer, Advances in Applied Mathematics, 9: 22-34, 1988.
dc.relation.referencesL.A. Rubel, The Extended Analog Computer, Advances in Applied Mathematics, 14: 39-51, 1993.
dc.relation.referencesP. Odifreddi, Classico' Recursion Theory, North Holland, 1989.
dc.relation.referencesC. Shannon, Mathematical theory of the differential analyzer, J. Matiz. Phys. MIT, 20:337-354, 1941.
dc.relation.referencesJ.R. Shoenfield, On degrees of unsolvability, Ann. Matiz., 69: 644-653, 1959.
dc.relation.referencesF. Stephan, On one-sided versus two-sided classifiaction, Forschungsberichte Mathema-tische Logik, 25/1995, Mathematische Institut, Unvesitüt Heidelberg, 1996.
dc.relation.referencesK. Weihrauch, Computability, Springer Verlag, 1987.
dc.relation.referencesZ. Xia. The existence of noncollision singularities in Newtonian systems. The Ármale of Mathematics, 135(3):411-468, 1992.
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1089
dc.rightsDerechos de autor 2003 Revista Colombiana de Computación
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 4 Núm. 2 (2003): Revista Colombiana de Computación; 1-12
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsTechnology developmenteng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsInformation and communication technologieseng
dc.subject.keywordsICT'seng
dc.subject.keywordsComputer theoryeng
dc.subject.keywordsInfinite limitseng
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembInvestigacionesspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.subject.proposalDesarrollo tecnológicospa
dc.subject.proposalInnovaciones tecnológicasspa
dc.subject.proposalTeoría de la computaciónspa
dc.subject.proposalLímites infinitosspa
dc.titleLímites restringidos en funciones naturales con gráficos aritméticosspa
dc.title.translatedRestricted limits on natural functions with arithmetical graphseng
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.type.driverinfo:eu-repo/semantics/article
dc.type.hasversionInfo:eu-repo/semantics/publishedVersion
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.type.localArtículospa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
2003_Articulo_Limites restringidos en funciones naturales con gráficos aritmeticos.pdf
Tamaño:
183.92 KB
Formato:
Adobe Portable Document Format
Descripción:
Artículo
Descargar

Colecciones

Revista Colombiana de Computación