-
Gottlob Frege
Profundizo en la caracterizacion de las leyes logicas en el contenido semantico -
Gluseppe Peano
Realizo la publicacion de su libro sobre logica matematica enfatizando en la interseccion de conjuntos -
Alan Turing
Creo la Maquina de Turing -
automatas finitos
Se establecen los automatas finitos equivalentes a las celulas -
Computadora Digital
Se crea la primera computadora digital, lanzando ell lenguaje de Maquina sintaxis que consiste en codigos numericos -
Grace Hopper
Hopper termino el enlazador de su programa (originalmente llamado compilador), que fue escrito para el Sistema A-0 -
FORTRAN
Está especialmente adaptado al cálculo numérico y a la computación científica. Es uno de los lenguajes más populares en el área de la computación de alto rendimiento y es el lenguaje usado para programas que evalúan el desempeño y el ranking de los supercomputadores más rápidos del mundo -
Edward Moore
Fue el primero en utilizar el tipo de máquina de estados finitos que es muy comúnmente utilizado hoy en día: la máquina de Moore -
Noam Chomsky
Comenzando con sus Estructuras sintácticas (1957), una destilación de su Estructura lógica de la teoría lingüística (1955), Chomsky desafía la lingüística estructural e introduce la gramática transformadora -
Stephen Cook
Profundiza en los estudios de Turing, demostrando avances en nuestra comprensión de la complejidad computacional de un modo significativo y profundo -
Comunicaciones y Automatas
Las funciones de comunicación comenzaron a integrarse en los autómatas a partir del año 1973. El primer bus de comunicaciones fue el Modbus de Modicon. El PLC podía ahora establecer comunicación e intercambiar informaciones con otros PLC's -
Protocolo MAP
permita interconectar todos los elementos de la fábrica, desde sensores, actuadores, robots, a ordenadores de proceso y de oficina técnica