Reloj

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

By Hemir
  • Mquina Pascal - Inventada por Blaise Pascal

    Mquina Pascal - Inventada por Blaise Pascal
    La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes. Este invento permitía sumar y restar dos números de manera directa y hacer la multiplicación y división por repetición
  • Tarjetas Perforadas - Joseph Marie Jacquard

    Tarjetas Perforadas - Joseph Marie Jacquard
    La tarjeta perforada o simplemente tarjeta es una lámina hecha de cartulina que contiene información en forma de perforaciones según un código binario. Estos fueron los primeros medios utilizados para ingresar información e instrucciones a una computadora en los años 1960 y 1970. Las tarjetas perforadas fueron usadas con anterioridad por Joseph Marie Jacquard en los telares de su invención, de donde pasó a las primeras computadoras electrónicas.
  • La máquina analítica, Charles Babbage

    La máquina analítica, Charles Babbage
    La máquina analítica, es el diseño de un computador moderno de uso general realizado por el profesor británico de matemáticas Charles Babbage, que representó un paso importante en la historia de la computación. Fue inicialmente descrita en 1837, aunque Babbage continuó refinando el diseño hasta su muerte en 1871
  • Motor de Babbage - Ada Augusta Lovelace

    Motor de Babbage - Ada Augusta Lovelace
    Año 1843 Ada Augusta Lovelace, surigió la idea de de que las tarjetas perforadas se adaptaran de manera que causaran en el motor de Babbage la repetición de operaciones. Según esta sugerencia, muchos consideraron a la condesa de Lovelace, como la primera programadora.
  • Notación actual de la lógica y estudió los principios de la matemática - Giuseppe Peano

    Notación actual de la lógica y estudió los principios de la matemática - Giuseppe Peano
    Nacido en Spinetta (Italia) en 1858
    – Muerto en Turín e 1932
    – Profesor en la Universidad de Turín
    y en la Academia Militar Real
    – 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 los Conjuntos - Georg Cantor, Dedekind y Frege

    Teoria de los Conjuntos - Georg Cantor, Dedekind y Frege
    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).
  • Principios de lógica teórica - David Hilberg

    Principios de lógica teórica - David Hilberg
    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 - Karl Popper

     La lógica de la investigación científica - Karl Popper
    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 Chruch

    Tesis de Church-Turing - Alonso Chruch
    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

    Maquina de Turing - Alan 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

    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 - Universidad de Pensilvania

    ENIAC-Computadoras de Propósito General - Universidad de Pensilvania
    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
  • JOHN VON NEUMANN - Teoría de Juegos - Programa almacenado en el computador

    JOHN VON NEUMANN - Teoría de Juegos - Programa almacenado en el computador
    Originador el concepto de programa almacenado en el computador en 1945. Creó el modelo deinstrucciones de programas y datos
    almacenados en la memoria del PC.
  • SNARC (Simulador de Redes Neuronales) - Marvin Lee Minsky

     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).
  • ARPANET - Departamento de Defensa de los Estados Unidos

    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 .