55 relaciones: Abstracción (informática), Alan Turing, Algoritmo, Alonzo Church, Análisis asintótico, Autómata celular, Autómata con pila, Autómata finito, Autómata linealmente acotado, Axioma, Bucle infinito, Cadena de caracteres, Cálculo lambda, Clase de complejidad, Clases de complejidad P y NP, Compilador, Computadora, Correctitud, Cota superior asintótica, Criptografía, Entscheidungsproblem, Función recursiva, Gramática libre de contexto, Gramática regular, Gramáticas sensibles al contexto, Informática, Instituto Clay de Matemáticas, Instituto de Tecnología de Massachusetts, Instrucción (informática), Inteligencia artificial, Jeffrey Ullman, Jerarquía de Chomsky, John Hopcroft, Kurt Gödel, Lenguaje de programación, Lenguaje formal, Lenguaje recursivamente enumerable, Máquina de Turing, Modelado de procesos, Modelo de computación, NP (clase de complejidad), Premio Turing, Princeton University Press, Problema de la parada, Problemas del milenio, Recursión primitiva, Sistema formal, Stephen Cook, Teoría algorítmica de la información, Teoría de autómatas, ..., Teorema, Tesis de Church-Turing, Tiempo de ejecución, Tipo de dato abstracto, Universidad de Harvard. Expandir índice (5 más) »
Abstracción (informática)
La abstracción consiste en aislar un elemento de su contexto o del resto de los elementos que lo acompañan.
¡Nuevo!!: Teoría de la computación y Abstracción (informática) · Ver más »
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Teoría de la computación y Alan Turing · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Teoría de la computación y Algoritmo · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Teoría de la computación y Alonzo Church · Ver más »
Análisis asintótico
En matemáticas puras y aplicadas, en particular en el análisis de algoritmos, el análisis asintótico es un método de descripción del comportamiento en el límite.
¡Nuevo!!: Teoría de la computación y Análisis asintótico · Ver más »
Autómata celular
Un autómata celular (A.C.) es un modelo matemático y computacional para un sistema dinámico que evoluciona en pasos discretos.
¡Nuevo!!: Teoría de la computación y Autómata celular · Ver más »
Autómata con pila
Un autómata con pila, autómata a pila o autómata de pila es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
¡Nuevo!!: Teoría de la computación y Autómata con pila · Ver más »
Autómata finito
Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.
¡Nuevo!!: Teoría de la computación y Autómata finito · Ver más »
Autómata linealmente acotado
Un autómata linealmente acotado, abreviadamente LBA (del inglés, Linear Bounded Automaton),o ALA es un autómata similar a una máquina de Turing determinista.
¡Nuevo!!: Teoría de la computación y Autómata linealmente acotado · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Teoría de la computación y Axioma · Ver más »
Bucle infinito
Bucle infinito en programación es un error que consiste en realizar un ciclo que se repite de forma indefinida ya que su condición para finalizar nunca se cumple.
¡Nuevo!!: Teoría de la computación y Bucle infinito · Ver más »
Cadena de caracteres
En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.
¡Nuevo!!: Teoría de la computación y Cadena de caracteres · Ver más »
Cálculo lambda
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.
¡Nuevo!!: Teoría de la computación y Cálculo lambda · Ver más »
Clase de complejidad
En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada.
¡Nuevo!!: Teoría de la computación y Clase de complejidad · Ver más »
Clases de complejidad P y NP
La relación entre las clases de complejidad NP y P es una pregunta por primera vez formulada por el científico computacional Stephen Cook que la teoría de la complejidad computacional aún no ha podido responder.
¡Nuevo!!: Teoría de la computación y Clases de complejidad P y NP · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Teoría de la computación y Compilador · Ver más »
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
¡Nuevo!!: Teoría de la computación y Computadora · Ver más »
Correctitud
En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctness), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.
¡Nuevo!!: Teoría de la computación y Correctitud · Ver más »
Cota superior asintótica
En análisis de algoritmos, una cota superior asintótica es una función que sirve de cota superior de otra función cuando el argumento tiende a infinito.
¡Nuevo!!: Teoría de la computación y Cota superior asintótica · Ver más »
Criptografía
La criptografía (del griego κρύπτos (kryptós), «secreto», y γραφή (graphé), «grafo» o «escritura», literalmente «escritura secreta») se ha definido, tradicionalmente, como el ámbito de la criptología que se ocupa de las técnicas de cifrado o codificado destinadas a alterar las representaciones lingüísticas de ciertos mensajes con el fin de hacerlos ininteligibles a receptores no autorizados.
¡Nuevo!!: Teoría de la computación y Criptografía · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Teoría de la computación y Entscheidungsproblem · Ver más »
Función recursiva
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.
¡Nuevo!!: Teoría de la computación y Función recursiva · Ver más »
Gramática libre de contexto
En lingüística e informática, una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: Donde V es un símbolo no terminal y w es una cadena de terminales y/o no terminales.
¡Nuevo!!: Teoría de la computación y Gramática libre de contexto · Ver más »
Gramática regular
En informática una gramática regular es una gramática formal (N, Σ, P, S) que puede ser clasificada como regular izquierda o regular derecha.
¡Nuevo!!: Teoría de la computación y Gramática regular · Ver más »
Gramáticas sensibles al contexto
Una gramática sensible al contexto es una gramática formal que se define como una cuádrupla G.
¡Nuevo!!: Teoría de la computación y Gramáticas sensibles al contexto · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: Teoría de la computación e Informática · Ver más »
Instituto Clay de Matemáticas
El Instituto Clay de Matemáticas (CMI)(inglés Clay Mathematics Institute o CMI) es una fundación sin fines de lucro de Cambridge, Massachusetts, dedicada a incrementar y diseminar el conocimiento matemático.
¡Nuevo!!: Teoría de la computación e Instituto Clay de Matemáticas · Ver más »
Instituto de Tecnología de Massachusetts
El Instituto de Tecnología de Massachusetts (MIT por las iniciales de su nombre en inglés, Massachusetts Institute of Technology) es una universidad privada localizada en Cambridge, Massachusetts (Estados Unidos) considerada por numerosos rankings como una de las mejores y más prestigiosas universidades a nivel mundial, manteniendo durante diez años consecutivos el título de la mejor universidad del mundo según la clasificación mundial de universidades QS.
¡Nuevo!!: Teoría de la computación e Instituto de Tecnología de Massachusetts · Ver más »
Instrucción (informática)
Se denomina instrucción en informática al conjunto de datos insertados en una secuencia estructurada o específica que el procesador interpreta y ejecuta.
¡Nuevo!!: Teoría de la computación e Instrucción (informática) · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Teoría de la computación e Inteligencia artificial · Ver más »
Jeffrey Ullman
Jeffrey David Ullman (n. 22 de noviembre de 1942) es un connotado informático teórico estadounidense.
¡Nuevo!!: Teoría de la computación y Jeffrey Ullman · Ver más »
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Teoría de la computación y Jerarquía de Chomsky · Ver más »
John Hopcroft
John E. Hopcroft (7 de octubre de 1939) es un conocido científico de la computación.
¡Nuevo!!: Teoría de la computación y John Hopcroft · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Teoría de la computación y Kurt Gödel · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Teoría de la computación y Lenguaje de programación · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Teoría de la computación y Lenguaje formal · Ver más »
Lenguaje recursivamente enumerable
En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing-computable.
¡Nuevo!!: Teoría de la computación y Lenguaje recursivamente enumerable · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Teoría de la computación y Máquina de Turing · Ver más »
Modelado de procesos
El modelado de procesos es el estudio de los procesos de negocio con el fin de desarrollar un modelo abstracto sobre el mismo que permita comprender el proceso y comunicarlo con otros.
¡Nuevo!!: Teoría de la computación y Modelado de procesos · Ver más »
Modelo de computación
En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos.
¡Nuevo!!: Teoría de la computación y Modelo de computación · Ver más »
NP (clase de complejidad)
En teoría de la complejidad computacional, NP es el acrónimo en inglés de nondeterministic polynomial time ("tiempo polinomial no determinista").
¡Nuevo!!: Teoría de la computación y NP (clase de complejidad) · Ver más »
Premio Turing
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
¡Nuevo!!: Teoría de la computación y Premio Turing · Ver más »
Princeton University Press
Princeton University Press es una editorial académica independiente estadounidense, estrechamente ligada a la Universidad de Princeton.
¡Nuevo!!: Teoría de la computación y Princeton University Press · Ver más »
Problema de la parada
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.
¡Nuevo!!: Teoría de la computación y Problema de la parada · Ver más »
Problemas del milenio
Los problemas del milenio son siete problemas matemáticos cuya resolución sería premiada, según anunció el Clay Mathematics Institute en el año 2000, con la suma de un millón de dólares cada uno.
¡Nuevo!!: Teoría de la computación y Problemas del milenio · Ver más »
Recursión primitiva
En teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad, la clase de funciones recursivas primitivas.
¡Nuevo!!: Teoría de la computación y Recursión primitiva · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Teoría de la computación y Sistema formal · Ver más »
Stephen Cook
Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación.
¡Nuevo!!: Teoría de la computación y Stephen Cook · Ver más »
Teoría algorítmica de la información
La teoría algorítmica de la información, es una teoría científica de las ciencias de la computación, que en contraste con la clásica teoría de la información, se basa en la complejidad de Kolmogórov para la determinación del contenido de la información.
¡Nuevo!!: Teoría de la computación y Teoría algorítmica de la información · Ver más »
Teoría de autómatas
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.
¡Nuevo!!: Teoría de la computación y Teoría de autómatas · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Teoría de la computación y Teorema · Ver más »
Tesis de Church-Turing
En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".
¡Nuevo!!: Teoría de la computación y Tesis de Church-Turing · Ver más »
Tiempo de ejecución
Se denomina tiempo de ejecución (runtime en inglés) al intervalo de tiempo en el que un programa de computadora se ejecuta en un sistema operativo.
¡Nuevo!!: Teoría de la computación y Tiempo de ejecución · Ver más »
Tipo de dato abstracto
En ciencias de la computación un tipo de dato abstracto (TDA) o tipo abstracto de datos (TAD) es un modelo matemático compuesto por una serie de operaciones definidas sobre un conjunto de datos.
¡Nuevo!!: Teoría de la computación y Tipo de dato abstracto · Ver más »
Universidad de Harvard
La Universidad de Harvard, conocida habitualmente como Harvard, es una universidad privada que se encuentra en la costa Este de los Estados Unidos, en la ciudad de Cambridge, estado de Massachusetts.
¡Nuevo!!: Teoría de la computación y Universidad de Harvard · Ver más »
Redirecciona aquí:
Computacion teorica, Computacion teórica, Computación teórica, Informática teórica, Teoria de computacion, Teoria de computación, Teoria de la Computacion, Teoria de la Computación, Teoria de la computacion, Teoria de la computación, Teoría de computacion, Teoría de computación, Teoría de la Computacion, Teoría de la Computación, Teoría de la computacion, Teoría de la informática.