-
Gottlob Frege
Pionero en la distinción de las leyes lógicas de su contenido semántico. Publicó las obras tituladas: Conceptografía o Escritura de conceptos. -
Giuseppe Peano
Aportes a la lógica matemática con su libro de símbolos modernos para la unión e intersección de conjuntos. -
Alan Turing
Creó la Maquina de Turing, desarrolló el teorema de Gödel y puede ser considerado el origen de la informática teórica. -
Period: to
Autómatas finitos
Se desarrollan maquinas simples que fueron conocidas como autómatas finitos, con el objetivo de molder el funcionamiento del cerebro. -
Neurona de McCulloch-Pitts
Se creó la neurona de McCulloch-Pitts que es una unidad de cálculo que intenta molder el comportamiento de una neurona "natural". -
Ordenador digital
Se desarrolló la primera computadora digital. Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos y se denominó Lenguaje Maquina. -
Noam Chomsky
Comenzó el estudio formal de las gramáticas (generadoras de lenguajes), el creador de la jerarquía de Chomsky y la clasificación de lenguajes formales en teoría de la computación. -
John Backus
Investigó el Lenguaje Algebraico. -
Grace Hopper
Escribió el primer compilador y lenguaje de programación "A-0". -
FORTRAN
La creación de FORTRAN, un lenguaje que permitía escribir fórmulas matemáticas y traducible por un ordenador. -
Claude Shannon
Aplicó la lógica matemática para el análisis de circuitos combinatorios. -
Stephen Kleene
Fue el creador de la teoría de la recursividad. Aportó a sentar las bases de la ciencia de la computación teórica. -
Edward F. Moore
Fue el primero en utilizar el tipo de máquina de estados finitos. -
Period: to
Autómatas industriales
Los autómatas programables se introducen por primera vez en la industria. -
Stephen A. Cook
Extiende el estudio de Turing -
Comunicación en autómatas
Las funciones de comunicación comenzaron a integrarse en los autómatas. -
Comunicaciones MAP
Intento de estandarización de las comunicaciones con el protocolo MAP.