| A calculadora penn lambda Um software livre para digitar o cálculo lambda |
Baixe Agora |
A calculadora penn lambda Classificação e resumo
- Nome do editor:
- The Penn Lambda Calculator Team
- Site do editor:
- http://www.ling.upenn.edu/lambda/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 364 KB
A calculadora penn lambda Tag
A calculadora penn lambda Descrição
Um software livre para o cálculo de lambda digitados O Penn Lambda Calculator é um programa de computador gráfico e fácil de usar, interativo, gráfico, pedeagógico que ajuda os alunos da Língua Natural Formal Semântica a praticar o cálculo de lambda digitados. O objetivo do projeto Calculator Penn Lambda é fornecer aos professores e alunos com um software Isso os ajuda a dominar a peça central de cursos introdutórios para semântica formal: o cálculo lambda. A característica mais importante deste software é suas rotinas sofisticadas que detectam erros comuns e retornam feedback "inteligente" para o usuário do aluno.
A calculadora penn lambda Software Relacionado