We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Did you know? You can double click on a word to look it up on TermGallery.
Meanings of decidible in espanhol
Que describe un conjunto para el cual existe un algoritmo que determina si un elemento está o no está dentro del conjunto de una cantidad finita de tiempo.
A razón de un sexto de la remuneración computable por cada mes.
2
Podría tener cierto sentido si el mío fuera un talento específico, computable.
3
Una curiosa propiedad de la información algorítmica es que no es computable.
4
No toda característica del mundo es, o bien enumerable, o bien computable.
5
La realidad computable, el mundo sensorial nace, crece, se reproduce y muere.
1
En aquella época estaba asediado por otros ejemplos similares de pensamiento recursivo.
2
Esto da una idea de hasta qué punto es recursivo el proceso.
3
Un buen ejemplo de sus capacidades y de lo recursivo que es.
4
Virgilio, además de ejecutor de grandes obras, era imaginativo y sumamente recursivo.
5
Además nos recuerda que siempre hay un componente recursivo en la expresión.
Usage of decidible in espanhol
1
Forma eso que se llama la esfera de lo no decidible.
2
Y en tal caso el último teorema sería decidible.
3
La propiedad de ser una parte inteligible del lenguaje es así listable pero no decidible.
4
El problema de decidir si esta página está escrita en un lenguaje ortográficamente correcto es un problema decidible.
5
Por desgracia, la verdad no es una propiedad listable ni decidible; ni lo es la verdad de un enunciado de la aritmética.
6
Si la clase de las ecuaciones diofánticas es indecidible, debe ser posible determinar subclases de la misma que sean decidibles.
7
El interés de traducir las conjeturas matemáticas en términos diofánticos radica en incitar a la búsqueda de clases decidibles de ecuaciones diofánticas.
8
Podría, de hecho, formar parte de una de esas ramas decidibles de la matemática que no son tan ricas como la aritmética.
9
El lógico norteamericano John Myhill ha utilizado el término "prospectivo" para caracterizar aquellos atributos del mundo que no son listables ni decidibles.
10
¿Son decidibles las matemáticas?
11
¿Hay una especificación para semejante "máquina" que le permita decidir si todos los enunciados decidibles de las matemáticas son o verdaderos o falsos?