complejidad
51Lista de clases de complejidad — Esta es la lista de clases de complejidad en teoría de la complejidad computacional. Muchas de estas clases tienen una co clase que contiene los problemas complementarios a los de la clase original. Por ejemplo, si L está en NP, el complemento de …
52NL (clase de complejidad) — En teoría de la complejidad computacional, la clase de complejidad NL (espacio logarítmico no determinista) es el conjunto de los problemas de decisión que pueden ser resueltos en espacio log(n) (sin contar el tamaño de la entrada), donde n es el …
53IP (clase de complejidad) — Un sistema de demostración interactivo (IP) es un concepto en teoría de la complejidad computacional que modela cómputos como el intercambio de mensajes entre dos partes. Las partes son el verificados y el demostrador, quienes interactúan por… …
54Diseño inteligente — Existen desacuerdos sobre la neutralidad en el punto de vista de la versión actual de este artículo o sección. En la página de discusión puedes consultar el debate al respecto. Diseño inteligente es el término utilizado para describir a la… …
55Puntos de caso de uso — Saltar a navegación, búsqueda Es un método de estimación de esfuerzo de un proyecto de desarrollo de software a partir de los casos de uso. Fue introducido por Gustav Karner en su tesis en 1993 (Universidad de Linkoping) y supervisado por Ivar… …
56Lamarckismo — Retrato de Jean Baptiste Lamarck. Lamarckismo es el término utilizado para referirse a la teoría de la evolución formulada por Lamarck. En 1809 en su libro Filosofía zoológica propuso que las formas de vida no habían sido creadas y permanecían… …
57Lamarquismo — Saltar a navegación, búsqueda Retrato de Jean Baptiste Lamarck El lamarckismo es el término utilizado para referirse a la teoría de la evolución formulada por Lamarck. En 1809 en su libro Filosofía zoológica propuso que las formas de vida no… …
58Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… …
59Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …
60Teorema de la jerarquía temporal — En la teoría de complejidad computacional, los teoremas de jerarquía temporal son declaraciones importantes sobre cómputo de tiempo acotado en máquinas de Turing. Informalmente, estos teoremas dicen que con más tiempo, una máquina de Turing puede …
