Resultados de la búsqueda

…ece que una [[máquina universal de Turing]] proporciona un medio óptimo de la descripción, salvo una constante aditiva. Formalmente, para cada máquina '' …sal de Turing, siendo '' c '' = ℓ (<''M''>) la longitud de la codificación de ''M''. …

…refiere a la tasa de convergencia de la expansión en [[fracción continua]] de un [[número real]] típico. El teorema fue probado por [[Gustav Lochs]] en… …mal de dicho número se comporta [[análisis asintótico|asintóticamente]] de la siguiente manera: …

…romedio, no puede obtenerse ninguna ganancia parando el juego en base a la información disponible hasta el momento (es decir, sin conocer el resultado futuro). …orema fundamental de la ventaja que tasa|teorema fundamental de valoración de activos]]. …

…btener información de la norma de un operador que actúa desde un [[Espacio de Hilbert]] en otro, cuando el operador puede ser descompuesto en piezas orto == Lema de Cotlar–Stein == …

…terpretación de la naturaleza de los [[estado cuántico|estados cuánticos]] de cualquier [[sistema físico]]. …ue representan estados probabilísticos o incompletos de conocimiento sobre la realidad. …

…grupos finitos y tienen aplicaciones muy importantes en la [[clasificación de los grupos finitos simples]]. …p>r</sup>'' donde ''k''<''r''. El conjunto de todos los subgrupos de Sylow de un grupo ''G'' se suele denotar como Syl_''p''(''G''). …

…mbién resulta indiferente la política de dividendos. Se opone así al punto de vista tradicional. …tz]] y [[William Sharpe]]. Miller ha contribuido especialmente en el campo de las [[Finanzas corporativas]]. …

…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 …

…negación. La existencia de un [[teoría de modelos|modelo]] implica que una teoría lógica es consistente. …junto]]s de [[Fórmula bien formada|fórmulas]]. Intuitivamente, un conjunto de fórmulas es consistente cuando no es posible deducir una contradicción del …

…su significado semántico). OpenMath puede ser codificado como un Lenguaje de Marcas XML extensible o un formato binario. …tibles con los conceptos definidos en MathML Contenido, un [[subconjunto]] de MathMl que no tiene presentación. …

…temáticas, sabiendo que el significado de esos teoremas se preservará tras la traducción. …categorías)|opuesto (o dual)]] de otra categoría, se habla de '''dualidad de categorías''', y se afirma que ambas categorías son '''dualmente equivalent …

…aude Shannon}}.</ref> así como el significado operacional de la [[entropía de Shannon]]. …na relación de codificación arbitrariamente cerca del valor de la entropía de Shannon. …

…ca de Schwarzschild]]) o la descripción del origen del universo ([[métrica de Robertson-Walker]]). …uidos dejan en el tejido del espaciotiempo. Podemos pensar en varios tipos de comportamientos extraños:<ref>Wald. R.M. ''General Relativity''. the [[Univ …

…ficación para canales con ruido. Un caso muy frecuente es el de un [[canal de comunicación]] [[Señal analógica|analógico]] continuo en el tiempo que pres …con un [[ancho de banda]] específico y que está sometido a la presencia de la interferencia del ruido. …

…ito, con un máximo emparejamiento (azul) y cubrimiento mínimo (rojo) ambos de tamaño seis.]] …31, por Jenő Egerváry en el caso más general de [[Anexo:Glosario de teoría de grafos|grafos con peso]]. …

…or primera vez en 2003<ref name="Gödel Machines."/>), pero lleva el nombre de [[Kurt Gödel]], quien inspiró las teorías matemáticas.<ref>{{Cita web|url=h …n=Scholarpedia|volumen=5|número=6|páginas=4650|fechaacceso=10 de noviembre de 2014|bibcode=2010SchpJ...5.4650S|doi=10.4249/scholarpedia.4650}}</ref> Aunq …

…istemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …labra''' es una sucesión ordenada de elementos tomados de un conjunto fijo de símbolos denominado '''alfabeto'''. …

…sfn|Davenport|2000|p=1}} Otro hito importante en este tema es el [[teorema de los números primos]]. == Ramos de la teoría analítica de números == …

En [[computación cuántica]], el '''algoritmo de Shor''' es un [[algoritmo cuántico]] para [[Factorización|descomponer en fa …n]], un parámetro muy necesario a la hora de encontrar los factores primos de un cierto número. …

…as profundos sobre la estructura de los grupos finitos utilizan caracteres de representaciones modulares. …grupo de cuaterniones generalizado como su [[Teoremas de Sylow|2-subgrupo de Silow]]. …