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.
irma cortes
Mapa Mental por irma cortes, actualizado hace más de 1 año
irma cortes
Creado por irma cortes hace casi 7 años
21
0

Resumen del Recurso

Historia y evolución de la teoría de autómatas y lenguajes formales
  1. Lógica Matemática
    1. 384 a.C
      1. Aristóteles
        1. Formuló el principio de la no contradicción
      2. 1879
        1. Gottlob Frege
          1. Caracterización formal de las leyes lógicas y su contenido semántico
            1. Filosofía del lenguaje.
          2. David Hilbert
            1. Teoría de Invariantes, Axiomatización de la geometría, Espacio de Hilbert
              1. Fundamento del análisis funcional
          3. 1887
            1. Giuseppe Peano
              1. Estudió la utilidad de la lógica en las matemáticas
          4. Informática Teorica
            1. 1931
              1. Kurt Gödel
                1. “On formally undecidable Propositions in Principia Mathematica and related systems”
                  1. Teorema de Incompletitud
                    1. Idea de codificación
                      1. Revolución matemática
                  2. 1937
                    1. Alan Mathison Turing
                      1. “On computable numbers with an application to the Entscheidungsproblem”
                        1. La máquina de Turing
                          1. Dispositivo matemático abstracto de cálculo que introduce el concepto de “algoritmo”.
                  3. Ingeniería Eléctrica
                    1. 1938
                      1. Claude Elwood Shannon
                        1. “A symbolic Analysis of relay and switching circuits”
                          1. Desarrollo la Teoría de los autómatas finitos y máquinas secuenciales
                    2. Lingüística
                      1. 1950
                        1. Avram Noam Chomsky
                          1. Teoría de las gramáticas transformacionales
                            1. Base de la lingüística matemática
                          2. John Backus
                            1. Estudió Lenguaje Algebraico
                          3. 1952
                            1. Grace Hoper
                              1. Creo el primer compilador
                                1. Lenguaje de Programación A-O
                            2. 1969
                              1. Stephen A. Cook
                                1. Extiende el estudio de Turing
                            3. Teoría de la computabilidad
                              1. 1936
                                1. Alonzo Church
                                  1. Problemas Indecidibles
                                    1. Desarrolla el cálculo de Lamda basado en funciones recursivas.
                                      1. Tesis de Church-Turing
                                Mostrar resumen completo Ocultar resumen completo

                                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