• Investigar la definición de función, la noción de aplicación de funciones y la recursión. Resolver el Entscheidungsproblem.