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

Next up

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

Description

Resource summary

Similar

	Created by irma cortes about 6 years ago