null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
12214238
Historia y evolución de la teoría de autómatas y lenguajes formales
Description
Mind Map on Historia y evolución de la teoría de autómatas y lenguajes formales, created by irma cortes on 11/02/2018.
Mind Map by
irma cortes
, updated more than 1 year ago
More
Less
Created by
irma cortes
over 6 years ago
21
0
0
Resource summary
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
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
Tir na nOg - Treithe an bhealoidis
08aliso.burge
Cognitive Psychology - Loftus and Palmer (1974)
Robyn Chamberlain
Themes in Lord of the Flies
lowri_luxton
GCSE Biology 4 OCR - The Processes of Life
blairzy123
CPA Exam Flashcards
joemontin
Spanish connectives and a few key phrases
emdrakeley
History - Medicine through Time
Alice Love
maths: ALGEBRA
katie Dack
Camera Angles
saradevine97
The Tempest
Dirk Weibye
TItrations (how to do the experiment) (concentrations)
janey.efen
Browse Library