-
384 BCE
Aristóteles
Conocido como el padre fundador de la lógica y de la biología. Además, formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía. -
Gottlob Frege
Publicó su revolucionaria obra titulada Conceptografia o Escritura de Conceptos. Además, fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico. -
Giuseppe Peano
Publicó su primer libro sobre lógica matemática. Con este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos. -
Alan Turing
Fue el creador de la máquina de Turing.
Publicó el articulo "sobre los números calculables" y también desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica. -
Period: to
Desarrollo de las maquinas simples.
Desarrollo de las maquinas simples, estas fueron conocidas como autómatas finitos para moldear el funcionamiento del cerebro -
Desarrollo del modelo de la neurona de McCulloch-Pitts
Esta es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural". -
Desarrollo de la primera computadora digital
Se desarrollo la primera computadora digital, esta ejecutaba instrucciones consistentes en códigos numéricos. Estas instrucciones fueron denominadas como lenguaje maquina. -
Noam Chomsky
Comenzó el estudio formal de las gramáticas (generadoras de lenguajes). Además, fue el creador de la jerarquía de Chomsky. -
John Backus
Creador junto a un equipo de programadores de IBM del primer Lenguaje de programación de alto nivel, el FORTRAN, además en 1959 inventa una notación que permite describir la sintaxis de un Lenguaje de programación de alto nivel, conocida como Backus Normal Form, llamada posteriormente Backus-Naur Form o simplemente BNF. -
Grace Hopper
Fue la encargada de escribir el primer compilador y lenguaje de programación A-0 -
Creación de FORTRAN
Este lenguaje permite escribir formulas matemáticas traducibles por un ordenador. Desarrollado por John Backus junto con un grupo de programadores de IBM. Este lenguaje de programación es a alto nivel. -
Claude Shannon
Aplicó la lógica matemática para el análisis de los circuitos combinatorios. -
Stephen Kleene
Creador de la teoría de la recursividad. Ademas, aporto a sentar las bases de la ciencia de la computación teórica. -
Edward F. Moore
Fue el primero en utilizar el tipo de maquinas de estados infinitos. -
Introducción de los autómatas programables en la industria.
Se introducen en la industria los autómatas programables. -
Stephen A. Cook
Se enfoca en extender el estudio de Turing -
Integración de las funciones de comunicación a los autómatas.
Se comienza la integración de las funciones de comunicación a los autómatas. -
Intensión de estabilización de las comunicaciones con el protocolo MAP
Se realizó un intento de estabilizar las comunicaciones mediante el protocolo MAP
