Используйте приложение APKPure
Историческую версию SKIY Lambda Calculus можно получить на Android
A tile-matching puzzle with SKIY-combinators (lambda calculus)
Складываем комбинации из четырёх комбинаторов S, L, I и Y (комбинаторное/лямбда исчисление), а также из круглых скобок, меняющих порядок вычислений.
Для этих комбинаций выполняется автоматическая редукция по четырём правилам . Задача -- как можно дольше держать "стакан" пустым и набирать баллы.
Люди, разбирающиеся в комбинаторном исчислении на среднем уровне, обычно набирают 3-4 тысячи очков, а уровень 5 тысяч и выше -- это уровень сильного мастера, который способен быстро просчитывать наперёд сложнейшие комбинации редукций с помощью вложенных скобок.
Оригинальная веб-версия игры (автор Dirk van Deun):
http://dirk.rave.org/combinatris/how-to-play.html
Что нового в последней версии 1.0
Last updated on 04/12/2019
Minor bug fixes and improvements. Install or update to the newest version to check it out!
Загрузка перевода...
SKIY Lambda Calculus
1.0 by Serge Bobrovsky
04/12/2019