Oplysninger om | spansk ord COMPUTABLES

Eksempler på brug af COMPUTABLES i en sætning

• De hecho, en teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones computables, es decir, las que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing.
• Se definen usando como principales operaciones la recursión y composición de funciones y forman un subconjunto estricto de las funciones recursivas, que son precisamente las funciones computables.
• Así pues, se adjudicaron puntos a los ocho primeros lugares (10, 8, 6, 5, 4, 3, 2, 1), sin limitaciones de máximo de carreras computables.
• Legalmente, se considera salario la totalidad de las percepciones económicas de los trabajadores —en dinero o en especie— por la prestación profesional de los servicios laborales por cuenta ajena, ya retribuyan el trabajo efectivo, cualquiera que sea la forma de remuneración, o los periodos de descanso computables como de trabajo.
• El 16 de mayo de 2009 Wolfram lanza Wolfram Alpha, su motor de respuestas que brinda un nuevo enfoque a la generación y adquisición de conocimiento e involucra vastas cantidades de datos computables curados, además de la indexación semántica de texto.
• Debido al sistema de puntuación, Surtees se proclamó campeón a pesar de haber sumado menos puntos (40) a lo largo de la temporada que Hill (41), que solo pudo computar 6 de las 7 carreras donde puntuó (39 puntos computables); fuera del cómputo quedó el quinto puesto en Bélgica, cuyos dos puntos le hubieran valido el Campeonato.
• Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.
• Técnicamente, la salida de una máquina de Turing aleatoria no es computable; sin embargo, la mayor parte de la literatura sobre hipercomputación se centra en el cálculo de funciones deterministas no aleatorias no computables.
• En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito.
• Régimen especial de inasistencias justificadas no computables para alumnas embarazadas y alumnos en condiciones de paternidad que cursen estudios en establecimientos de gestión estatal o privada dependientes de la Dirección General de Cultura y Educación.
• En su estudio Los números computables, con una aplicación al Entscheidungsproblem (publicado el 28 de mayo de 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos dispositivos formales y simples.
• Teorías populares aseguran que la conciencia emerge del aumento de la complejidad de las computaciones realizadas por neuronas celulares, por otro lado, Orch-OR postula que la conciencia está basada en "procesos cuánticos no computables" realizados por "qbits", formados colectivamente en microtúbulos celulares, un proceso amplificado significativamente en las neuronas.
• AM está contenido en NP/poly, la clase de problemas de decisión computables en un tiempo polinomial no determinístico con un consejo polinómico de tamaño 0.
• Más en general, una sucesión de Specker se denomina "contraejemplo recursivo" al principio de límite inferior superior, es decir, es una construcción que muestra que este teorema es falso cuando se restringe a reales computables.
• Irrazonable, porque los supuestos matemáticos son económicamente injustificados; ineficaz porque las formalizaciones matemáticas implican estructuras no constructivas y no computables.
• Una conjetura de Kontsevich y Zagier implicaría que la igualdad de períodos también es decidible: se sabe que la desigualdad de los reales computables es recursivamente enumerable ; y a la inversa, si dos integrales concuerdan, entonces un algoritmo podría confirmarlo probando todas las formas posibles de transformar una de ellas en la otra.

Sideforberedelse tog: 490,13 ms.