Church y Turing

Church y Turing

Get Started. It's Free
or sign up with your email address
Rocket clouds
Church y Turing by Mind Map: Church y Turing

1. Compilador verificador

1.1. Ayuda a construir software

1.2. Detecta el lenguaje programación

2. Computador universal (La MT comprende aparatos digitales)

3. Referentes de la informática

4. Church realizó un cálculo Lambda

5. Turing creó la MT

5.1. Métodos abstractos de cualquier método efectivo de cálculo

6. El cálculo lambda ayudó a crear los lenguajes de programación

7. Se apoyaron en la lógica de Hilbert para realizar sus inventos

8. Gracias a su tesis tenemos los aparatos digitales