null
US
Entrar
Registre-se gratuitamente
Registre-se
Detectamos que o JavaScript não está habilitado no teu navegador. Habilite o Javascript para o funcionamento correto do nosso site. Por favor, leia os
Termos e Condições
para mais informações.
Próximo
Copiar e Editar
Você deve estar logado para concluir esta ação!
Inscreva-se gratuitamente
10631292
Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales.
Descrição
no
Sem etiquetas
ingeniería
Mapa Mental por
alexander herrera
, atualizado more than 1 year ago
Mais
Menos
Criado por
alexander herrera
quase 7 anos atrás
5166
1
0
Resumo de Recurso
Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales.
(384 a. C - 322 a. C.)
Aristóteles
Es reconocido como el padre fundador de la lógica y de la biología
formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía
1887
Giuseppe Peano
publicó su primer libro sobre lógica matemática
Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
1879
Gottlob Frege
publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos.
fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico
1946
se desarrolló la primera computadora digital
estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
se denominó lenguaje máquina
1930’s
Alan Turing
Creó la Maquina de Turing
Publicó el artículo "sobre los numeros calculables"
Desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica
1940’s y 1950’s
Se desarrollan maquinas Simples
fueron conocidas como autómatas finitos
para moldear el funcionamiento del cerebro.
1943
La neurona de McCulloch-Pitts
Unidad de cálculo que intenta modelar el comportamiento de una neurona "natural"
establecio autómatas finitos equivalentes a células
1950
Noam Chomsky
comienza el estudio formal de las gramáticas (generadoras de lenguajes)
creador de la jerarquía de Chomsky
clasificación de lenguajes formales en teoría de la computación.
John Backus
Investigó el Lenguaje Algebraico.
1952
Grace Hopper
Escribió el primer compilador
lenguaje de programación A-0
1954
Creacion de FORTRAN
lenguaje que permitía escribir fórmulas matemáticas
traducible por un ordenador
1956
Claude Shannon
Aplicó la lógica matemática para el análisis de circuitos combinatorios
Stephen Kleene
creador de la teoría de la recursividad
Aportó a sentar las bases de la ciencia de la computación teórica
Edward F. Moore
fue el primero en utilizar el tipo de máquina de estados finitos
1960's
Los autómatas programables se introducen por primera vez en la industria
1969
Stephen A. Cook
extiende el estudio de Turing
1973
Las funciones de comunicación comenzaron a integrarse en los autómatas
1980
intento de estandarización de las comunicaciones con el protocolo MAP
Quer criar seus próprios
Mapas Mentais
gratuitos
com a GoConqr?
Saiba mais
.
Semelhante
Elementos Básicos de Ingeniería Ambiental
Evilus Rada
INGENIERIA DE MATERIALES
Ricardo Álvarez
Historia de la Ingeniería
Camila González
Introducción a la Ingeniería de Software
David Pacheco Ji
UNIDAD II DIBUJO PROYECTIVO
anyimartinezrued
GENERALIDADES DE LAS EDIFICACIONES
yessi.marenco17
MAPA MENTAL SOFTWARE APLICADOS EN INGENIERÍA CIVIL
Ruben Dario Acosta P
Estado de la ingenería mecánica y su perspectiva a futuro
Roberto Martinez
MAPA CONCEPTUAL SOBRE LA INICIATIVA CDIO
Victor Antonio Rodriguez Castañeda
Características de la Pitahaya y su potencial de uso en la industria alimentaria
Héctor Infanzón
Diapositivas neumática
Victor Zamora Delgado
Explore a Biblioteca