 | La calculadora de penn lambdaUn software libre para escribir Lambda Cálculo |
| Descargar ahora | |
La calculadora de penn lambda Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- The Penn Lambda Calculator Team
- Sitio web del editor:
- http://www.ling.upenn.edu/lambda/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 364 KB
La calculadora de penn lambda Etiquetas
La calculadora de penn lambda Descripción
Un software libre para escribir Lambda Cálculo. La calculadora Penn Lambda es un programa informático pedagógico, gráfico, gráfico, gráfico y fácil de usar, interactivo y fácil de usar que ayuda a los estudiantes de lenguaje natural. Eso les ayuda a dominar la pieza central de los cursos de introducción a la semántica formal: el cálculo lambda. La característica más importante de este software es sus rutinas sofisticadas que detectan errores comunes y devuelven la retroalimentación "inteligente" al usuario del estudiante.
La calculadora de penn lambda Software relacionado
Calculadora de ruta óptima
Prueba el algoritmo heurístico de eficacia contra el método de la fuerza bruta para el hallazgo del camino ...
76 KB
Alerta de cometas MPC
Una extensión de Google Chrome dedicada al Centro Planeta Menor del IAU ...
36 KB
