• ·         La millonaria de Steiger: la primera calculadora que tuvo éxito comercial.

• ·         Teoría de Turing: La Teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing. La teoría de la computabilidad se interesa a cuatro preguntas:

¿Qué problemas puede resolver una máquina de Turing?

¿Qué otros formalismos equivalen a las máquinas de Turing?

¿Qué problemas requieren máquinas más poderosas?

¿Qué problemas requieren máquinas menos poderosas?

• ·         MARK-I: el primer ordenador electromecánico, construido en la Universidad de Harvard por Howard H. Aiken en 1944, con la subvención de IBM. Tenía 760.000 ruedas y 800 kilómetros de cable y se basaba en la máquina analítica de Charles Babbage.

• ·         ENIAC: es un acrónimo de Electronic Numerical Integrator And Computer (Computador e Integrador Numérico Electrónico), utilizada por el Laboratorio de Investigación Balística del Ejército de los Estados Unidos.

• ·         EDVAC: (Electronic Discrete Variable Automatic Computer) por sus siglas en inglés, fue una de las primeras computadoras electrónicas. A diferencia de la ENIAC, no era decimal, sino binaria y tuvo el primer programa diseñado para ser almacenado. Este diseño se convirtió en el estándar de arquitectura para la mayoría de las computadoras modernas.

• ·         UNIVAC: La UNIVAC I (UNIVersal Automatic Computer I, Computadora Automática Universal I) fue la primera computadora comercial fabricada en Estados Unidos. Fue diseñada principalmente por J. Presper Eckert y John William Mauchly, también autores de la segunda computadora electrónica estadounidense, la ENIAC. Durante los años previos a la aparición de sus sucesoras, la máquina fue simplemente conocida como "UNIVAC". Se donó a la universidad de Harvard y Pensilvania. Fue la primera computadora fabricada para un propósito no militar, desde el año 1941.
•