-
384 BCE
Aristoteles
Formulo el principio de la no contradicción, que es un principio clásico de la lógica y la filosofía. -
Gottlob Frege
Fue el primero en hacer una distinción y caracterización de la leyes lógicas de su contenido semántico. -
Giuseppe peano
Publico el primer libro de lógica matemática que utilizo símbolos modernos para la representación de conjuntos en su intersección y unión. -
Alan turing
Creo la maquina de turing, también desarrollo el teorema de Godel que se puede considerar como el origen de la informática teórica. -
Period: to
Automatas Finitos
Se desarrollaron maquinas simple para el estudio cerebral, estas maquinas fueron conocidas como autómatas finitos. -
Nacimiento de la computadora
en este año se desarrolla la primera computadora ejecutando instrucciones en códigos numéricos, dominando así el lenguaje maquina para eventos futuros. -
Noam Chomsky
Comenzo de manera formal el estudio de las gramáticas, clasificando los lenguajes formales en la teoría de la computación. -
Grace hopper
Crea por primera vez en la historia un lenguaje compilador, lenguaje de programacion A-0 -
Lenguaje de programacion Fortran
Nace el lenguaje de programacion Fortran que permite escribir formulas matematicas traducibles por un computador. -
Claude shannon
Aplica la logica matematica para el estudio de circuitos combinatorios en las computadoras. -
Stephen kleene
Aporta las bases para la ciencia de la computación teórica, creador de la teoria de la recursividad. -
Lenguajes automatas
Se aplican por primera vez en la industria -
Stephen A.Cook
Profundiza el estudio de Alan turing aplicando nuevos cambios en las mismas,
