Ésta es una lista de los asuntos del computability y de la complejidad del, al lado de página de Wikipedia.

La teoría de Computability es la parte de la teoría del cómputo que trata qué puede ser computada, de en principio. La teoría de complejidad de cómputo trata de cómo cómputos duros son, en términos cuantitativos, ambos con los límites superiores (los algoritmos cuya complejidad en los peores casos, como uso de los recursos de computación, puede ser estimada), y de debajo (las pruebas que ningún procedimiento para realizar una cierta tarea puede ser muy rápido).

Para materias fundacionales más abstractas, ver la lista de los asuntos de la lógica matemática. Ver también la lista de los algoritmos, lista de los asuntos generales del algoritmo.

Cálculo


expresión matemática Expresión, expresión (matemáticas), evaluación
Soporte
Término (matemáticas)
S-expresión, M-expresión
Fours cuatro
Tabla de operaciones de búsqueda, tabla matemática, tabla de multiplicación
Calculadora que cuenta las barras
Ábaco, ábaco chino, ábaco romano
Torquetum
Huesos, Rabdology de Napier
Calculadora de Pascal
Regla de diapositiva Logaritmo ordinario
que genera las tablas trigonométricas
Motor de diferencia
Motor analítico
Notas del Ada Byron sobre el motor analítico
Máquina sumadora
Calculadora mecánica
Comptometer
Analizador diferenciado
Calculadora de Curta
Historia de las computadoras
Orden de las operaciones, notación de infijo, notación polaca reversa
Algoritmo de la multiplicación Multiplicación campesina
División por dos
Exponentiating ajustando
Cadena de la adición Conjetura de Scholz
Presburger aritmético

Teoría de Computability: modelos del cómputo


algoritmo Procedimiento, repetición
Autómata finito del estado Máquina harinosa
Máquina del registro de Minsky
Máquina de Moore
Diagrama de estado
Sistema de la transición del estado
Autómata finito determinista
Autómata finito no determinista
Autómata finito no determinista generalizado
Lengua regular Lema de bombeo
Teorema de Myhill-Nerode
Expresión regular
Gramática regular
Gramática del prefijo
Autómata del árbol
Autómata de Pushdown Gramática independiente del contexto
Autómata de Büchi
Jerarquía de Chomsky Lengua sensible al contexto, gramática sensible al contexto
Del lengua enumerable recurrentemente
Máquina del registro
Máquina de apilado
Red de Petri
Máquina del poste
Reescritura Algoritmo de Markov
Reescritura del término
Sistema de la reescritura de la secuencia
L-sistema
Algoritmo de la terminación de Knuth-Bendix
Altura de la estrella Problema de la altura de la estrella
Problema generalizado de la altura de la estrella
Autómata celular Autómata celular de la regla 110
Juego de Conway de la vida
Hormiga de Langton
Borde del caos
Máquina de Turing Máquina determinista de Turing
Máquina no determinista de Turing
Autómata de alternancia
que alterna la máquina de Turing
Turing-completo
Turing tarpit
El Oracle trabaja a máquina
Cálculo de la lambda
Lógica combinatoria Combinator B, C, K, sistema de W
  • Computación paralela
    Taxonomía de Flynn
    Computadora de Quantum
  • Computadora universal del quántum
    Tesis de la Iglesia-Turing Función recurrente

    Problemas de decisión


    Entscheidungsproblem
    Problema que para Corrección
    Problema de la correspondencia del poste
    Lengua decidible Lengua de Undecidable
    Problema de la palabra para los grupos
    Azulejo de Wang
    Embaldosado de Penrose

    Preguntas de Definability


    número computable
    Número definible
    Probabilidad que para
    Teoría de información algorítmica
    Probabilidad algorítmica
    Compresión de datos

    Teoría de complejidad


    Consejo (complejidad)
    Análisis amortizado
    Protocolo de Arturo-MERLIN
    Mejor y peores casos
    Castor ocupado
    Complejidad de circuito
    Función construible
    Teorema del cocinero
    Tiempo exponencial
    Problema de la función
    Tiempo linear
    Teorema linear del speedup
    Prueba natural
    Tiempo polinómico
    Polinómico-tiempo mucho-uno reducción
    reducción de Turing del Polinómico-tiempo
    Teorema de Savitch
    Teorema de jerarquía de espacio
    Velocidad anterior
    Teorema del Speedup
    Tiempo de Subquadratic
    Teorema de jerarquía de tiempo

    Clases de la complejidad

    El considera la lista de las clases de la complejidad
    jerarquía exponencial
    Jerarquía polinómica

    Problemas nombrados


    problema de la pandilla
    Problema hamiltoniano del ciclo
    Problema de trayectoria hamiltoniano
    Facturización del número entero
    Problema de la mochila
    Problema de Satisfiability satisfiability 2
    Problema boleano del satisfiability
    Problema de la suma del subconjunto
    3SUM
    Problema de vendedor que viaja
    Problema de la cubierta de la cima
    Función unidireccional
    Problema determinado de la cubierta
    Problema determinado de la independiente

    Extensiones


    el algoritmo de probabilidad, seleccionó al azar el algoritmo
    Algoritmo de Las Vegas
    No-determinismo
    Máquina no determinista de Turing
    Cómputo interactivo
    Sistema interactivo de la prueba
    Máquina de probabilidad de Turing
    Algoritmo de la aproximación
    de recocido simulado
    Algoritmo de la colonia de la hormiga
    Semántica del juego
    Juego generalizado
    Sistema múltiple del agente
    Complejidad dada parámetros
    Cálculos de proceso Pi-cálculo
    Hypercomputation
    Cómputo verdadero

    .

  • Zenithic
  • MyTravel
    Random links:Südwestpfalz | Compatibilidad delantera | " de Laurdine; Pat" Patrick | Teorema de la continuidad de Lévy | Goemon

  • © 2007-2008 enciclopediaespana.com; article text available under the terms of GFDL, from en.wikipedia.org
    ="http://pagead2.googlesyndication.com/pagead/show_ads.js">