-
1951 BCE
william shockley
Inventa el transistor de union -
1943 BCE
Warren McCulloch
Crea un modelo de neuronas artificiales -
1941 BCE
Kenrad suze
Un pionero de la computación. Su logro más destacado fue terminar la primera computadora controlada por programas que funcionaban, la Z3 en 1941. Esta puede que haya sido la "primera computadora", aunque hay discrepancias en este sentido pues, si se consideran algunas sutilezas, como por ejemplo que la máquina de Zuse no era de propósito general, tal vez no lo sea. -
1937 BCE
Alan Turing
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptada tesis. -
1883 BCE
Torre de Hanoi
Las Torres de Hanói es un rompecabezas o juego matemático inventado en 1883 por el matemático francés Édouard Lucas.Este juego de mesa solitario se trata de un juego con un número de discos de radio creciente que se apilan insertándose en una de las tres estacas de un tablero. El objetivo del juego es crear la pila en otra de las estacas siguiendo ciertas reglas. -
1849 BCE
Logica de Primer Orden
La lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo. -
1847 BCE
Logica Booleana
Álgebra de Boole en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O, NO y SI, así como el conjunto de operaciones unión, intersección y complemento. -
1315 BCE
Razonamiento Artificial
Empieza a tomar o obtar el nombre de Inteligencia artificial -
384 BCE
Silogismos
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, ampliamente reconocido como padre fundador de la lógica -
250 BCE
Ctesibio
Fue un inventor y matemático griego de Alejandría (siglo III a. C.). Sus construyo la primera maquina autocontrolada
