Teoria de Automatas y Lenguajes Formales

Timeline created by Adejesus16
  • Notación actual de la lógica y estudió los principios de la matemática - Giuseppe Peano

    Matemático y filósofo, propuso la notación actual de la
    lógica y estudió los principios de la matemática.
    – Formulario, enciclopedia con todas las fórmulas y
    teoremas conocidos en matemáticas
  • Teoria de Conjuntos

    Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845-Halle, 6 de enero de 1918) fue un matemático nacido en Rusia,1​ aunque de ascendencia alemana y judía.2​ Fue inventor con Dedekind y Frege de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).
  • Principio de la logica teorica - David Hillberg.

    Profesor en la Universidad de Gottingen
    – El matemático más importante del s. XX.
    – Trabajos en análisis funcional, geometría,
    fundamentos de física cuántica y de relatividad
    general, lógica…
    – Axiomatización de la geometría. Problemas de Hilbert.
    – Publica en 1928 Principios de lógica teórica
    – Problema de la decisión: descubrir un método general para
    decidir si una fórmula lógica es verdadera o falsa
  • La lógica de la investigación científica

    La lógica de la investigación científica (en alemán Logik der Forschung), principal contribución de Popper a la teoría de la ciencia, apareció por primera vez en una serie de publicaciones del propio círculo vienés, a pesar de que contenía una moderada crítica al positivismo de esta comunidad de filósofos. La obra fue recibida como fruto de las discusiones del círculo, lo que llevó a muchos a calificar equivocadamente a Popper como positivista
  • Tesis de Church-Turing - Alonso Church

    Profesor en Princeton
    – Desarrolla el cálculo lambda, basado en funciones
    recursivas. (Base de los lenguajes funcionales)
    – En 1936 demuestra la existencia de problemas
    indecidibles para el cálculo lambda.
    – Entre 1938 y 1939 trabaja con A. Turing
    – Tesis de Church-Turing: cualquier modelo computacional
    existente tiene las mismas capacidades algorítmicas, o un
    subconjunto, de las que tiene una máquina de Turing.
  • Maquina de Turing

    Alan Turing matemático ingles, creó modelos matemáticos de computadores, entre ellos la Maquina de Turing en el año de 1936, considerado el científico de la computación. Demostró los teoremas fundamentales acerca de los limites de la computabilidad a los que se le consideró como la teoría de la computación, durante la segunda guerra mundial ayudó a descifrar los códigos secretos en el que desarrolló el criptoanalisis, trabajó en la construcción de un computador electrónico británico.
  • ABC - John Vincent Atanasoff y Clifford Edward Berry

    El Atanasoff Berry Computer (ABC) fue la primera computadora electrónica y digital automática que se usó con números y letras.
    El computador fue el primero en implementar tres conceptos claves presentes en los ordenadores modernos:
    Uso del sistema binario para representar todos los números y datos.
    Realizaba todas las operaciones usando la electrónica en lugar de ruedas.
    La computación estaba separada del sistema de almacenamiento o memoria.
  • ENIAC-Computadoras de Propósito General

    Peso: 27 Toneladas.Estados Unidos.
    John William Mauchly y John Presper Eckert, con el propósito de resolver los problemas de balística del ejército de Estados Unidos.
    Fue la primera computadora electrónica de propósito general, puesto que tenia la capacidad de realizar cinco mil operaciones aritméticas . Esta maquina ocupaba todo un sótano de la Universidad, tenia más de 18000 tubos de vacío, consumía 200kw de energía eléctrica y requería todo un sistema de aire acondicionado
  • SNARC (Simulador de Redes Neuronales) - Marvin Lee Minsky

    Minsky contribuyó al desarrollo de la descripción gráfica simbólica, geometría computacional, representación del conocimiento, semántica computacional, percepción mecánica, aprendizaje simbólico y conexionista. En 1951 creó SNARC, el primer simulador de redes neuronales. Fue el inventor de las patentes del casco de realidad virtual en 1963 y del microscopio confocal en 1957 (antecesor de los ampliamente utilizados y modernos microscopios confocales de barrido por láser).
  • Period: to

    ARPANET - Departamento de Defensa de los Estados Unidos

    Creada en 1969-hasta 1990 (Cerrada)
    La Red de la Agencia de Proyectos de Investigación Avanzada ( ARPANET ) fue una red de conmutación de paquetes temprana y la primera red en implementar la suite de protocolos TCP / IP . Ambas tecnologías se convirtieron en la base técnica de Internet . El ARPANET fue inicialmente financiado por la Agencia de Proyectos de Investigación Avanzada (ARPA) del Departamento de Defensa de los Estados Unidos .