null
US
Iniciar Sesión
Regístrate Gratis
Registro
Hemos detectado que no tienes habilitado Javascript en tu navegador. La naturaleza dinámica de nuestro sitio requiere que Javascript esté habilitado para un funcionamiento adecuado. Por favor lee nuestros
términos y condiciones
para más información.
Siguiente
Copiar y Editar
¡Debes iniciar sesión para completar esta acción!
Regístrate gratis
12214238
Historia y evolución de la teoría de autómatas y lenguajes formales
Descripción
Mapa Mental sobre Historia y evolución de la teoría de autómatas y lenguajes formales, creado por irma cortes el 11/02/2018.
Mapa Mental por
irma cortes
, actualizado hace más de 1 año
Más
Menos
Creado por
irma cortes
hace casi 7 años
21
0
0
Resumen del Recurso
Historia y evolución de la teoría de autómatas y lenguajes formales
Lógica Matemática
384 a.C
Aristóteles
Formuló el principio de la no contradicción
1879
Gottlob Frege
Caracterización formal de las leyes lógicas y su contenido semántico
Filosofía del lenguaje.
David Hilbert
Teoría de Invariantes, Axiomatización de la geometría, Espacio de Hilbert
Fundamento del análisis funcional
1887
Giuseppe Peano
Estudió la utilidad de la lógica en las matemáticas
Informática Teorica
1931
Kurt Gödel
“On formally undecidable Propositions in Principia Mathematica and related systems”
Teorema de Incompletitud
Idea de codificación
Revolución matemática
1937
Alan Mathison Turing
“On computable numbers with an application to the Entscheidungsproblem”
La máquina de Turing
Dispositivo matemático abstracto de cálculo que introduce el concepto de “algoritmo”.
Ingeniería Eléctrica
1938
Claude Elwood Shannon
“A symbolic Analysis of relay and switching circuits”
Desarrollo la Teoría de los autómatas finitos y máquinas secuenciales
Lingüística
1950
Avram Noam Chomsky
Teoría de las gramáticas transformacionales
Base de la lingüística matemática
John Backus
Estudió Lenguaje Algebraico
1952
Grace Hoper
Creo el primer compilador
Lenguaje de Programación A-O
1969
Stephen A. Cook
Extiende el estudio de Turing
Teoría de la computabilidad
1936
Alonzo Church
Problemas Indecidibles
Desarrolla el cálculo de Lamda basado en funciones recursivas.
Tesis de Church-Turing
Mostrar resumen completo
Ocultar resumen completo
¿Quieres crear tus propios
Mapas Mentales
gratis
con GoConqr?
Más información
.
Similar
Todos los Países del Mundo y sus Capitales
maya velasquez
Política matrimonial de los Reyes Católicos
maya velasquez
Filosofía Selectividad - Grandes Filósofos
maya velasquez
AMÉRICA: PAÍSES~CAPITALES...
Ulises Yo
GoConqr como Herramienta para la Educación Especial y la Educación Inclusiva
Diego Santos
Periféricos de Entrada
karol Olague
ANATOMÍA HUMANA s/t...
Ulises Yo
5 TECNICAS DE COMO PROGRAMAR EL SUBCONSCIENTE
Isidro Esparza Marín
P.N.L. MODULO 2
Marcela Heiland
ANATOMÍA...
Ulises Yo
1 The Universe and the solar system
Rafael Marañon viedma
Explorar la Librería