-
384
Aristóteles
Es reconocido como el padre fundador de la lógica y de la biología y formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía en el año aproximadamente 384 AC -
Giuseppe Peano
Publicó su primer libro sobre lógica matemática. Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos. -
Alan Turing
Creó la Maquina de Turing Publicó el artículo "sobre los números calculables“, desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica -
Period: to
Desarrollo de maquinas simples
Se desarrollan maquinas Simples, fueron conocidas como autómatas finitos, para moldear el funcionamiento del cerebro. -
Primera computadora digital
Se desarrolló la primera computadora digital, estas máquinas ejecutaban instrucciones consistentes en códigos numéricos, se denominó lenguaje máquina -
Noam Chomsky
Comienza el estudio formal de las gramáticas (generadoras de lenguajes), creador de la jerarquía de Chomsky, clasificación de lenguajes formales en teoría de la computación. -
Grace Hopper
Escribió el primer compilador, lenguaje de programación A-0 -
Creación de FORTRAN
lenguaje que permitía escribir fórmulas matemáticas, traducible por un ordenador -
Grandes avances a la ciencia computacional
Claude Shannon fue en este año aplicó la lógica matemática para el análisis de circuitos combinatorios y Stephen Kleene creó la teoría de la recursividad. Aportó a sentar las bases de la ciencia de la computación teórica -
Period: to
Introduccion de automatas programables
Los autómatas programables se introducen por primera vez en la industria -
Stephen A. Cook. extiende el estudio de Turing
Stephen A. Cook. extiende el estudio realizado anteriormente por Turing -
Intento de estandarización de las comunicaciones con el protocolo MAP
Intento de estandarización de las comunicaciones con el protocolo MAP