Resultados de la búsqueda

…ón de Thue-Morse]], y por esta razón también se les ha llamado '''conjunto de Thue-Morse'''.<ref>{{citation|last1=Charlier|first1=Émilie|last2=Cisternino …ages=85–89|title=On some two way classifications of integers|volume=2|year=1959}}</ref> …

…a secuencia finita de símbolos del alfabeto del lenguaje —llamada [[cadena de caracteres]] o palabra— como entrada, acepta solo esas palabras que son par …usado para "lenguaje recursivo" es '''lenguaje Turing-decidible''', en vez de simplemente "lenguaje decidible". …

{{Ficha de algoritmo |nombre = Algoritmo de Dijkstra …

{{ficha de persona}} …o fue influyente para distinguir la informática teórica de las disciplinas de las matemáticas y la ingeniería eléctrica. …

…Anki_flashcard_question_and_answer_math.gif|miniaturadeimagen| Un programa de tarjetas ([[Anki]])]] …ás rápida cuanto más se repite. Algunas de las alternativas al aprendizaje de memoria incluyen [[Aprendizaje significativo|el aprendizaje significativo]] …

…uting_problem.png|right|thumb|240x240px|Una figura que ilustra el problema de enrutamiento del vehículo]] ''Posible artículo duplicado: [[Problema de rutas de vehículos]]'' <!-- Lo siento, no he conseguido encontrar la plantilla para …

{{Teoría de autómatas}} …os]] en forma automática sobre una [[entrada]] para producir una [[salida (informática)|salida]]. …

…ub> y δ(''q''₀,''b'')=''q''₁. Por lo tanto, se trata de un autómata finito no determinista, que reconoce la [[expresión regular]]… …''q'' ∈ ''Q'', tal que para un símbolo ''a'' ∈ Σ del alfabeto, existe más de una transición δ(''q'',''a'') posible. Todo AFND puede ser convertido en un …

…TesnsorProductConstruction.png|miniaturadeimagen|Construcción de productos de tensores.]] …os objetos de estudio son los [[producto tensorial|productos tensoriales]] de [[espacio vectorial|espacios vectoriales]] y las transformaciones multi-lin …

{{ficha de persona}} …robabilidad. Hizo circular el primer informe sobre la máquina no semántica de aprendizaje el 1956.<ref> [http://world.std.com/# rjs/indinf56.pdf (pdf cop …

…el [[valor de verdad]] de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. …iádicos''') que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo mon …

…zado (''[[numeración arábiga|sistema de numeración arábiga]])'' se compone de diez [[Cifra (Matemáticas)|cifras]]: [[cero]] (0), [[uno]] (1), [[dos]] (2) …ualmente en todo el mundo y en todas las áreas que requieren de un sistema de numeración. …

…pital lambda|Teoría de lenguajes de programación|link= Teoría de lenguajes de programación]]</small> …ordenamiento quicksort|Teoría de la complejidad computacional|link=Teoría de la complejidad computacional]] …

…ruzado''. La vinculación de registro se conoce también como '''vinculación de datos''' en muchas jurisdicciones, pero los dos son el mismo proceso. == Convenio de denominación == …

…Floyd-Warshall para calcular los caminos más cortos entre todos los pares de vértices en un grafo ponderado.]] …rigidos ponderados. El algoritmo encuentra el camino entre todos los pares de vértices en una única ejecución. …

…|El ''algoritmo de Prim'' permite encontrar un [[árbol recubridor mínimo]] de un grafo.]] …e los grafos#Grafos conexos|conexo]], no dirigido y cuyas [[Arista (Teoría de grafos)|aristas]] están etiquetadas. …

…rio juliano]], aunque sus días del juicio final suelen ser días diferentes de la semana. …en menos de dos segundos. Para mejorar su velocidad, practicó sus cálculos de calendario en su computadora, que estaba programada para hacerle preguntas …

…B.svg|thumb|120 px|Cada una de las seis filas es una permutación diferente de tres bolas distintas.]] …rmutación» también se refiere al acto o proceso de cambiar el orden lineal de un conjunto ordenado.<ref>{{harvtxt|Webster|1969}}</ref> …

…istemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …erdad se demuestra. En [[matemáticas]], es toda proposición que, partiendo de un supuesto ([[hipótesis (lógica)|hipótesis]]), afirma una racionabilidad… …

…problema de Hilbert''' es uno de los conocidos como veintitrés [[Problemas de Hilbert]], publicados en 1900 por el matemático alemán [[David Hilbert]].… …un proceso de acuerdo con el cual pueda determinarse, en un número finito de operaciones, si la ecuación es resoluble en números racionales enteros.}} …