Explore o cálculo lambda não digitado, um dos sistemas mais fundamentais da computação. Começando com um conjunto notavelmente simples de regras, toda a computação é possível. Mas só porque as regras são simples não significa que o cálculo lambda é fácil: você precisará de um pouco de esperteza e criatividade para chegar a um ponto onde você pode calcular qualquer coisa. Este aplicativo permite que você crie visualmente expressões de cálculo lambda (lambdas, variáveis e chamadas de função) e avalie-as. Experimente booleans, numerais da igreja, ou o combinador Y. Funciona muito bem em tablets! Nos telefones, funciona melhor no modo paisagem.
Detalhes do programa
- Categoria: Educação > Ferramentas de Ensino & Treinamento
- Editor: Alan Pierce
- Licença: Livre
- Preço: N/A
- Versão: 1.1.0
- Plataforma: android