Resultados de la búsqueda

…idad computacional|teoría de la complejidad computacional]], el '''teorema de Savitch''' establece que: …w.com/lance/complog/archive/2003_05_11_archive.html Una prueba del Teorema de Savitch] …

…uring|máquinas de Turing]] es un [[teorema]] de [[teoría de la complejidad computacional]], que se puede enunciar: |1= Dado ''c'' > 0 y cualquier máquina de Turing que resuelve un problema en tiempo <math>f(n)\,</math>, hay otra máq …

…ing]]. Informalmente, estos teoremas dicen que con más tiempo, una máquina de Turing puede resolver más problemas. Por ejemplo, hay problemas que pueden El teorema de la jerarquía temporal para [[máquina de Turing|máquinas de Turing deterministas]] fue probado por [[Richard Stearns]] y [[Juris Hartma …

…tomate de l'allumeur de réverbères.jpg|miniaturadeimagen|Teoría geométrica de grupos (diagrama simple)]] …ión son realizados como simetrías geométricas o transformaciones continuas de algunos espacios). …

…Una fórmula FND está en '''forma normal disyuntiva completa''' si cada una de sus variables aparece exactamente una vez en cada cláusula. …la [[eliminación de la doble negación]], las [[leyes de De Morgan]], y uso de la [[distributividad]]. …

…ónicas (álgebra de Boole)|forma de productos de sumas]] usadas en [[teoría de circuitos]]. …[[variable proposicional]] o un [[Lógica de primer orden#Fórmulas|símbolo de predicado]]. …

{{Teoría de autómatas}} …de complejidad]] [[NP (clase de complejidad)|NP]] y [[co-NP]]. El concepto de una ATM fue establecido por Chandra y [[Larry Stockmeyer|Stockmeyer]] en 19 …

…l que el alumno se evalúa en función de su poder predictivo de un conjunto de pruebas. …io también es cierto: La capacidad de aprendizaje PAC implica la capacidad de aprendizaje Ockham. …

{{fusionar en|t=20221103152103|Probador de teoremas lógicos}} …temático|teoremas matemáticos]] mediante [[programa de ordenador|programas de ordenador]]. …

…temas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …n en varios contextos diferentes: la [[lógica matemática]], las [[ciencias de la computación]] y la [[lingüística]] teórica, frecuentemente con métodos… …

….wolfram.com|idioma=en}}</ref> La prueba del Teorema utiliza la [[sucesión de Fibonacci]].<ref>{{Cita web|url=https://www.cut-the-knot.org/blue/LamesTheo …s el número de dígitos decimales de <math>\min(a,b)\,\!</math> (la entrada de menor magnitud). …

…ado y por lo tanto son manipulados como símbolos (de ahí se debe el nombre de ''cálculo simbólico''). …regla de la cadena]] utilizando [[derivada|diferenciación]], factorización de polinomios, integración indefinida, etc. …

…300px|Un conjunto en ℝ² que satisface las hipótesis del teorema de Minkowski]] …rtió en la base de la rama de la [[teoría de números]] llamada [[geometría de números]]. …

…erentes colores"''. En 1976, K. Appel y V. Haken, con la ayuda de cálculos de ordenador diseñados al efecto, demostraron que es posible colorear cualquie …resultado de estos cálculos implica el teorema dado. En 1976, el [[teorema de los cuatro colores]] fue el primer teorema importante que se verificó con… …

{{See also|Grado (teoría de grafos)}} …os de los seis vértices es 2 + 3 + 2 + 3 + 3 + 1 = 14, el doble del número de aristas.]] …

…temas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …nguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. …

…olor="White"|[[Archivo:Quadrat-Wurzel-2.svg|250px]] [[Archivo:Número raiz de dos.svg|250px]] …ración de que <math>\sqrt {2}</math> no se puede expresar como el cociente de dos números enteros <math>(a/b)</math> …

…[paraboloide]] dado por f(''x'',''y'') = -(''x''²+''y''²)+4. El [[Extremos de una función|máximo]] global en (0, 0, 4) está indicado por un punto rojo.]] …elementos disponibles. La [[investigación operativa]] es uno de los campos de la matemática en cuyas bases funciona la optimización.<ref>"[https://web.ar …

{{fusionar en|t=20170307155351|Historia de la lógica}} …razón, 'intelectual', 'dialéctico', 'argumentativo'), que a su vez deriva de la palabra λόγος (logos, 'palabra', 'pensamiento', 'razón', 'idea','argumen …

…te con una [[máquina de Turing]]. Las preguntas fundamentales de la teoría de la computabilidad son: * ¿Qué problemas puede resolver una máquina de Turing? …