Images (1)

historia de la Teoría de la Computación.

  • Lógica proposicional (booleana)

    Lógica proposicional (booleana)
    En 1847 George Boole estableció la lógica proposicional (booleana), mucho más completa que los silogismos de Aristóteles, pero aún algo poco potente.
  • Lógica de Primer Orden

    Lógica de Primer Orden
    En 1879 Gottlob Frege extiende la lógica booleana y obtiene la Lógica de Primer Orden la cual cuenta con un mayor poder de expresión y es utilizada universalmente en la actualidad.
  • Las bobinas de Pupin

    Las bobinas de Pupin
    Pupin patenta un sistemas de bobinas , a las que le coloca en serie con las lineas telefonicas ,y mejoran las distancias a las que se podian colocar los telefononos 3 a 4 veces
  • Informatica

    Informatica
    Invencion de el primer tubo de vacío ,formado por 3 elemntos dentro de una bombilla de vidrio.Estos elementos eran capaces de hallar y amplificar señales de radio
  • Comienzo de la era electronica

    Comienzo de la era electronica
    Rectificadores ,triodos ,amplificadores ,etc.. Se construye en America el primer sistema de transmision de voz a travéz de ondas electromagneticas .
  • CTR

    CTR
    El banquero Chareles R Flint funda la "Computing Recording Company"CTR
  • Memoria Binaria

    Memoria Binaria
    Se descubre la memoria binaria (Conmutador)Construida por dos triodos.
  • Maquina Diferencial

    Maquina Diferencial
    Se construyo una maquina diferencial parcialmente electronica ,capaz de resolver ecuaciones diferenciales.
  • Primera Calculadora

    Primera Calculadora
    Se construyo una calculadora que podia manejar numeros complejos.
  • Primer Lenguaje de programación

    Primer Lenguaje de programación
    En 1940 Alan Turing y su equipo construyeron el primer computador electromecánico y en 1941 Konrad Zuse creó la primera computadora programable y el primer lenguaje de programación de alto nivel Plankalkül. Las siguientes máquinas más potentes, aunque con igual concepto, fueron la ABC y ENIAC.
  • Nuevos pasos

    Nuevos pasos
    A partir del influyente trabajo en 1950 de Alan Turing, matemático británico, se abre una nueva disciplina de las ciencias de la información.
  • Alan Turing

    Alan Turing
    Turing consolidó el campo de la inteligencia artificial con su artículo Computing Machinery and Intelligence, en el que propuso una prueba concreta para determinar si una máquina era inteligente o no, su famosa Prueba de Turing por lo que se le considera el padre de la Inteligencia Artificial. Años después Turing se convirtió en el adalid que quienes defendían la posibilidad de emular el pensamiento humano a través de la computación y fue coautor del primer programa para jugar ajedrez.
  • Transistor de unión

    Transistor de unión
    En 1951 William Shockley inventa el transistor de unión. El invento hizo posible una nueva generación de computadoras mucho más rápidas y pequeñas.