Исследуйте нетипийный исчисление лямбды, одну из самых фундаментальных систем в вычислительной технике. Начиная с удивительно простого набора правил, все вычисления возможны. Но только потому, что правила просты, не означает, что исчисление lambda легко: вам нужно некоторое ум и творчество, чтобы добраться до точки, где вы можете вычислить что-нибудь. Это приложение позволяет визуально создавать выражения исчисления lambda (ламбды, переменные и функции вызовов) и оценить их. Попробуйте booleans, церковные цифры, или Y комбинатор. Отлично работает на планшетах! На телефонах, лучше всего работает в ландшафтном режиме.
Подробная информация о программе
- Категории: Образования > Преподавание и учебные инструменты
- Издателя: Alan Pierce
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.1.0
- Платформы: android