Historia y evolución de la teoría de autómatas y lenguajes formales

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
Informática Teorica
1. 1931
  1. Kurt Gödel
    1. “On formally undecidable Propositions in Principia Mathematica and related systems”
      1. Teorema de Incompletitud
      2. Idea de codificación
      3. 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
        Dispositivo matemático abstracto de cálculo que introduce el concepto de “algoritmo”.
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
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
2. 1952
  1. Grace Hoper
    1. Creo el primer compilador
      1. Lenguaje de Programación A-O
3. 1969
  1. Stephen A. Cook
    1. Extiende el estudio de Turing
Teoría de la computabilidad
1. 1936
  1. Alonzo Church
    1. Problemas Indecidibles
      1. Desarrolla el cálculo de Lamda basado en funciones recursivas.
      2. Tesis de Church-Turing

Próximo

Historia y evolución de la teoría de autómatas y lenguajes formales

Descrição

Resumo de Recurso

Semelhante

	Criado por irma cortes mais de 6 anos atrás