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
12214238
Historia y evolución de la teoría de autómatas y lenguajes formales
Descrição
Mapa Mental sobre Historia y evolución de la teoría de autómatas y lenguajes formales, criado por irma cortes em 11-02-2018.
Mapa Mental por
irma cortes
, atualizado more than 1 year ago
Mais
Menos
Criado por
irma cortes
aproximadamente 6 anos atrás
21
0
0
Resumo de Recurso
Historia y evolución de la teoría de autómatas y lenguajes formales
Lógica Matemática
384 a.C
Aristóteles
Formuló el principio de la no contradicción
1879
Gottlob Frege
Caracterización formal de las leyes lógicas y su contenido semántico
Filosofía del lenguaje.
David Hilbert
Teoría de Invariantes, Axiomatización de la geometría, Espacio de Hilbert
Fundamento del análisis funcional
1887
Giuseppe Peano
Estudió la utilidad de la lógica en las matemáticas
Informática Teorica
1931
Kurt Gödel
“On formally undecidable Propositions in Principia Mathematica and related systems”
Teorema de Incompletitud
Idea de codificación
Revolución matemática
1937
Alan Mathison Turing
“On computable numbers with an application to the Entscheidungsproblem”
La máquina de Turing
Dispositivo matemático abstracto de cálculo que introduce el concepto de “algoritmo”.
Ingeniería Eléctrica
1938
Claude Elwood Shannon
“A symbolic Analysis of relay and switching circuits”
Desarrollo la Teoría de los autómatas finitos y máquinas secuenciales
Lingüística
1950
Avram Noam Chomsky
Teoría de las gramáticas transformacionales
Base de la lingüística matemática
John Backus
Estudió Lenguaje Algebraico
1952
Grace Hoper
Creo el primer compilador
Lenguaje de Programación A-O
1969
Stephen A. Cook
Extiende el estudio de Turing
Teoría de la computabilidad
1936
Alonzo Church
Problemas Indecidibles
Desarrolla el cálculo de Lamda basado en funciones recursivas.
Tesis de Church-Turing
Quer criar seus próprios
Mapas Mentais
gratuitos
com a GoConqr?
Saiba mais
.
Semelhante
Português - Gramática
Nikita Northman
Como Estudar Matemática
Alessandra S.
Evolução biológica
joana_pinto_202
Exame Nacional de Português - 12° ano
Felipe Perreira
Garantias Fundamentais
Wander
BIOQUÍMICA CELULAR
paulo.ximendes
GESTAO ESTRATÉGICA DE RH
Matheus Miranda
EMILE DURKHEIM
Débora C. Nascimento
Nomenclatura de cadeias carbônicas com Grupos Funcionais
Laura Santiago
Sistemas do Corpo Humano
GoConqr suporte .
Contextualização da Aula 2 - Tecnologia na Formação Profissional - SAÚDE
Fabrícia Assunção
Explore a Biblioteca