-
creado por Leone Battista Alberti, para facilitar los cálculos se aprovechaba de un disco de metal que permitía cambiar fácilmente entre los diferentes alfabetos disponibles.
-
Lord Monboddo, publicó The Origin and Progress of Man and Language, obra de gran erudición en la que explicaba el surgimiento del lenguaje humano a partir las ventajas evolutivas
-
Ada Lovelace se propuso traducir las memorias del matemático italiano Luigi Menabrea y, mientras lo hacía, creó un lenguaje de programación a mano para calcular la serie de números de Bernoulli con la máquina de Babbage.
-
Esta es una teoría que se centra en la computación, es el lenguaje con el que se escriben los sistemas las máquinas abstractas; diferentes teorías han ayudado a la evolución de las nuevas tecnologías de la información y la comunicación, mediante los sistemas formales
-
Autómatas Finitos: Máquinas teóricas que cambian de estado de acuerdo a la entrada de lenguaje que reciban, la salida de estos autómatas, está limitada a dos valores; aceptado y no aceptado, estás indican si la cadena que han recibido como entrada es válida o no.
-
Matemático ruso realizo un proceso llamado cadena de Markov, en donde cada evento depende con cierta probabilidad del evento anterior y esta se utilizaba en los autómatas finitos
-
su meta era crear un sistema matemático formal "completo" y "consistente". Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal a este problema lo llamo "Entscheidungsproblem"
-
stephen kleene
desarrolla las expresiones regulares -
La máquina de Turing es un dispositivo informático el cual consiste en un cabezal de lectura y escritura, lo que mejor conocemos hoy en día con el nombre de escarner y de una cinta de papel que atraviesa la máquina.
-
Claude Elwood Shannon, publica la aplicación de la lógica matemática a los circuitos electrónicos.
-
Publicaron un trabajo el cual se hablaba de las neuronas artificiales, y como estás podrían realizar cálculos lógicos, esta consiste de una unidad con la función de la activación tipo escalón
-
-
prolifera su estudio, frecuentemente Llamándoseles máquinas de secuencia; se establecen
muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares -
Noam Chomsky escribe lógica de la teoría lingüística
-
propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación
-
el lenguaje de programación más antiguo y que continúa en uso. Creada por John Backus, esta herramienta fue desarrollada para la computación científica de alto nivel, matemáticas y estadísticas.
-
publica estructuras sintácticas en el que aparece la clasificación de gramáticas
-
-
stephen arthur cook publica the complexity of theorem proving procedures, donde define las clases de problemas P, NP y NP completos
-
el lenguaje de programación más popular que ha existido nunca. Además, ha sido listado en lo alto de los top ten de los lenguajes de programación desde 1986 y archivado en el Hall of Fame en 2003. Hoy en día es usado por Firefox, Office y Adobe PDF Reader.
-
es un framework de aplicaciones web de código abierto escrito en el lenguaje de programación Ruby, siguiendo el paradigma del patrón Modelo Vista Controlador.
