-
Alan Mathison Turing (1912-1954) diseñó una calculadora universal para resolver cualquier problema, la "máquina de Turing". Tuvo mucha influencia en el desarrollo de la lógica matemática. En 1937 hizo una de sus primeras contribuciones a la lógica matemática y en 1943 plasmó sus ideas en una computadora que utilizaba tubos de vacío.
-
En 1937 hizo una de sus primeras contribuciones a la lógica matemática y en 1943 plasmó sus ideas en una computadora que utilizaba tubos de vacío. George Boole (1815-1864) también contribuyó al algebra binaria y a los sistemas de circuitos de computadora, de hecho, en su honor fue bautizada el álgebra booleana.
-
Entre 1939 y 1944, Howard Aiken de la universidad de Harvard en colaboración con IBM desarrolló el Mark 1. Era una computadora electromecánica de 16 metros de largo y más de dos de alto. Tenía 700.000 elementos móviles y varios centenares de kilómetros de cables. Podía realizar las cuatro operaciones básicas y trabajar con información almacenada en forma de tablas
-
Otra forma de razonar para resolver problemas en matemáticas se fundamenta en la
lógica de primer orden. El conocimiento básico de las matemáticas se puede representar
en la lógica en forma de axiomas, a los cuales se añaden reglas formales para deducir
cosas verdaderas (teoremas) -
John Presper Eckert, Mauchly desarrolló una computadora electrónica completamente operacional a gran escala, para acelerar los complicados cálculos del proyecto militar de la universidad Moore. Se terminó en 1946 y se llamó Electronic Numerical Integrator And Computer (ENIAC). El ENIAC tenía 18.000 tubos electrónicos integrados en un volumen de 84 metros cúbicos. Pesaba unas 30 toneladas y consumía alrededor de 100.000 vatios. Su capacidad de cálculo era de 5.000 operaciones
-
Es un lenguaje de programacion de bajo nivel, basado en la representacion de código de máquina. (binario ) El ensamblador realiza la traduccion del codigo de máquina.
-
NOBOL (StriNg Oriented symBOlic Language) es un lenguaje de programación de computadoras de muy alto nivel. Fue uno más de los lenguajes orientados a cadenas de texto
-
Es un lenguaje de programación desarrollado por el profesor suizo Niklaus Wirth. Su objetivo era crear un lenguaje que facilitara el aprendizaje de programación a sus alumnos, utilizando la programación estructurada y estructuración de datos. Sin embargo con el tiempo su utilización fue de gran uso para herramientas de todo tipo.
-
El PROLOG surgió a principio de los 70 y es el primer lenguaje lógico. Las
aplicaciones en la Inteligencia Artificial lo mantienen vivo y útil. -
C es un lenguaje de programación creado en 1972 por Dennis M. Ritchie en los Laboratorios Bell como evolución del anterior lenguaje B. Se trata de un lenguaje débilmente tipificado de medio nivel pero con muchas características de bajo nivel.
-
C++ es un lenguaje de programación diseñado por Bjarne Stroustrup. La intención de su creación fue el extender al exitoso lenguaje de programación C con mecanismos que permitan la manipulación de objetos.
-
Python es un lenguaje de programación interpretado creado por Guido van Rossum. Python es un lenguaje de programación multiparadigma. Esto significa que más que forzar a los programadores a adoptar un estilo particular de programación, permite varios estilos: programación orientada a objetos, programación estructurada y programación funcional. Que ha permitido modificar la forma de programar en la actualdiad.
