Explore o cálculo lambda não-digitado, um dos sistemas mais fundamentais em computação. Começando com um conjunto de regras extraordinariamente simples, todo o cálculo é possível. Mas só porque as regras são simples não significa que o cálculo lambda seja fácil: você precisará de alguma esperteza e criatividade para chegar a um ponto onde você pode calcular qualquer coisa. Esta aplicação permite-lhe criar visualmente expressões de cálculo lambda (lambdas, variáveis e chamadas de função) e avaliá-las. Experimente booleanos, algarismos da igreja, ou o combinador Y. Funciona muito bem em tablets! Nos telefones, funciona melhor em modo paisagístico.
Detalhes do programa
- Categoria: Educação > Ferramentas de Ensino e Formação
- Editor: Alan Pierce
- Licença: Grátis
- Preço: N/A
- Versão: 1.1.0
- Plataforma: android