Explore el cálculo lambda sin tipo, uno de los sistemas más fundamentales en computación. Comenzando con un conjunto notablemente simple de reglas, todo el cálculo es posible. Pero el hecho de que las reglas sean simples no significa que el cálculo lambda sea fácil: necesitarás un poco de inteligencia y creatividad para llegar a un punto en el que puedas calcular cualquier cosa. Esta aplicación le permite crear visualmente expresiones de cálculo lambda (lambdas, variables y llamadas a funciones) y evaluarlas. Pruebe booleanos, números de iglesia o el combinador Y. Funciona muy bien en tabletas! En los teléfonos, funciona mejor en modo horizontal.
Detalles del programa
- Categoría: Educación > Herramientas de Enseñanza y Formación
- Editor: Alan Pierce
- Licencia: Gratis
- Precio: N/A
- Versión: 1.1.0
- Plataforma: android