-
384 BCE
Aristoteles
Es reconocido como el padre fundador de la lógica y de la biología. -
Gottlob Frege
Publicación de su obra titulada Conceptografia o escritura de conceptos, fue el primero en distinguir la caracterización de las leyes lógicas de su contenido semántico. -
Giuseppe Peano
Publico su primer libro a cerca de Lógica Matemática, este libro fue el primero en mostrar los símbolos modernos para la unión e intersección de conjuntos. -
Alan Turing
Creo la maquina de Turing, publico el articulo sobre los numero calculables y desarrollo el teorema de Godel y puede considerarse el origen de la informática teórica. -
McCulloch-Pitts
Estableció autómatas finitos equivalente a células, la cual se define como la unidad de calculo que intenta modelar el comportamiento de una neurona Natural, se llamo la neurona de McCuloch-Pitts. -
Primera Maquina Digital
Se desarrollo la primera maquina digital la cual ejecutaba instrucciones consistentes en código numérico a través lenguaje de maquina. -
Noam Chomsky
Comienza el estudio formal de las gramáticas generadoras de lenguajes, realiza la clasificación de lenguajes formales en teoría de la computación. -
Grace Hopper
Desarrollo el primer compilador, lenguaje de programación A-0. -
John Backus
A mediados de 1954 fue terminada una especificación del borrador para el IBM Mathematical Formula Translating System, nacimiento de FORTRAN. -
Claude Shannon
Aplico la lógica matemática para el análisis de circuitos combinatorios. -
Stephen Kleene
Creación de la teoría de la recursividad. -
Autómatas en procesos industriales
Los autómatas programables se introducen por primera vez en la industria. -
Stephen A. Cook
Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la relación entre las clases de complejidad P y NP. -
Comunicación y automatas
Las funciones de comunicación comenzaron a integrarse en los autómatas. -
Protocola MAP Estandarizacion
Intento de estandarizacion de las comunicaciones con el protocolo MAP.
