Resultados de la búsqueda

…' y la ''n''-ésima [[máquina de Turing]] según una [[numeración de Gödel]] computable se detiene en la entrada ''n'' después de los pasos ''k''; de lo contrario, …mero racional|números racionales]] cuyo [[supremo]] no es un [[número real computable]]. El primer ejemplo de tal secuencia fue construido por [[Ernst Specker]] …

:"Un número computable [es] aquél para el que hay una máquina de Turing que, dado ''n'' en su cint …omputable''' si se puede dar una aproximación de él mediante una [[función computable]] de la siguiente forma: dado cualquier [[número entero]] <math>n \ge 1</ma …

…Máquina de Turing es [[Teoremas de incompletitud de Gödel|indecidible (no computable o no recursivo)]], en el sentido de que ninguna máquina de Turing lo puede Lo que se afirma es que '''no existe una manera automática computable de saber si todos los programas posibles terminan. No se niega que exista… …

…depende del espacio topológico asociado. Como resultado, brinda una forma computable de distinguir un espacio de otro.<ref>{{Citation|last1=Armstrong|first1=M. …iones en tiempo real, como [[análisis de imágenes]], [[imagen médica]] y [[análisis de datos]] en general. …

…te crecimiento desmesurado se puede utilizar para demostrar que la función computable ''f''(''n'') = ''A''(''n'', ''n'') crece más rápido que cualquier [[recursi == Análisis de algoritmos == …

…] fue de los primeros problemas tratados en el estudio sistemático de la [[Análisis de algoritmos|complejidad computacional]] de algoritmos geométricos.<ref na …er mejorado: Si se asume que la [[función de parte entera]] (''floor'') es computable en tiempo constante, el problema puede ser solucionado en tiempo O(n log lo …

…s distintos, porque la computación científica se basa generalmente en el [[análisis numérico]] con números aproximados en [[coma flotante|punto flotante]]; mie …isar el [[álgebra]] clásica con el fin de hacerla más [[función computable|computable]] y descubrir [[Eficiencia Algorítmica|algoritmos eficientes]] que implemen …

…' '', Vol. 14, p. 153, 1952. </ref> que son consideradas como los primeros análisis estadístico de las redes. …iderado, incluso en una cantidad infinita de tiempo. modelos de predicción computable ocultar este hecho al ignorar este tipo de algoritmos. …

…para esto es que las máquinas de Turing son simples, y por tanto amenas al análisis. Dicho esto, cabe aclarar que las máquinas de Turing no son un modelo práct …lan Turing]] introdujo el concepto de máquina de Turing en el trabajo ''On computable numbers, with an application to the [[Entscheidungsproblem]]'', publicado… …

…e ''N''; así, en este caso, una ε-red puede ser construida en un [[Función computable|tiempo lineal]].<ref>{{Obra citada|apellidos=Har-Peled|nombre=S.|DOI=10.100 …os introdujo (con una definición diferente pero equivalente basada en el [[análisis armónico]]) como [[modelo matemático]] para [[Cuasicristal|cuasicristales.] …

…te, en términos monetarios, a las deficiencias en otro sector<ref> Para un análisis más detallado, ver Lefteris Tsoulfidis; [http://books.google.co.uk/books?id …-7hAflrtjFBA&sa=X&oi=book_result&ct=result&redir_esc=y#v=onepage&q&f=false Análisis microeconómico] p. 372 </ref> si asumimos que los ingresos solo provienen… …

…s matemáticas inversas tienen resultados correspondientes en el [[análisis computable]]. En las matemáticas inversas de ''orden superior'', la atención se centr …erable|numerables]], mientras que los teoremas de [[análisis (matemáticas)|análisis]] y [[topología]] están restringidos a [[espacio separable|espacios separab …

…s de las ecuaciones porque las consideraba irreales. En ese siglo, en el [[Análisis matemático|cálculo]] se utilizaban números reales sin una definición precis …ncajamientos sucesivos, cardinales finitos e infinitos), por un lado, y el análisis matemático de [[Richard Dedekind]] (vecindades, entornos y [[cortaduras de …

…el futuro. Esto es posible si ''A'' es ''s''-sparse y eficientemente fila computable, lo que significa que tiene al menos ''s'' entradas no nulas por fila y dad == Análisis del tiempo de ejecución == …

…ible incluir un [[teorema]] que demuestre que el algoritmo es correcto, un análisis de complejidad o ambos. …el tiempo que se tarde, se dice que dicha función es [[Función computable|computable]]. No todas las funciones entre secuencias datos son computables. El [[prob …

Franzén introduce en su análisis el [[décimo problema de Hilbert]] y el [[teorema de Matiyasevich]] (también …tion | last = Turing | first = A.M. | publication-date = 1937 | title = On Computable Numbers, with an Application to the Entscheidungsproblem: A correction | pe …

…te es el cuerpo de número hiperreal | número hiperreal más utilizado en el análisis no estándar, y su unicidad es equivalente a la hipótesis del continuo. (Inc …" un cuerpo hiperreal, y por lo tanto un cuerpo adecuado para su usos en [[análisis no estándar]]. Se puede ver que es el análogo de dimensiones superiores de …

…de [[equilibrio general]] walrasiano o los modelos de [[equilibrio general computable]]. …resultados futuros o las posibles elecciones son desconocidos, entonces el análisis de riesgos o la teoría de la utilidad esperada no son muy útiles), generale …

Uno de los primeros análisis sobre hiperoperaciones fue el de Albert Bennett<ref name="bennett"/> en 191 …ón de Ackermann original]] <math>\phi(a,b,n)\,\!</math> — que es [[Función computable|recursiva]] , pero no [[Recursión primitiva|primitiva recursiva]] — fue mod …

…decir, flujos finitos de datos) cuyos [[Morfismo|morfismos]] son [[Función computable|funciones computables]], entonces (idealmente) en un sistema completamente …Computing Machinery|ACM]]'' (en inglés: ''Communications of the ACM''), un análisis sobre un sistema de cifrado propuesto por Marten Van Dijk.<ref>{{cita publi …