Lambda Calculator SE 2.1.0 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.
Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность.
Это бесплатное приложение для macOS было разработано Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford. ПО принадлежит к категории Образование, а точнее к подкатегории Обучение.
От разработчика:
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice.
Мы предлагаем оценить другие macOS программы, такие как Delay Time Calculator или GeoGebra CAS Calculator, которые часто используются вместе с Lambda Calculator SE.