Я пытаюсь определить функцию Аккермана -Петерса в Coq и получаю сообщение об ошибке, которое не понимаю. Как видите, я упаковываю аргументы Акермана a, b в пару ab; Я...

Кто-нибудь может дать мне интуитивное объяснение, почему функция Аккермана http://en.wikipedia.org/wiki/Ackermann_function связана с амортизированной сложностью алгоритма поиска объединения, используемого для ...

Я пытаюсь написать функцию гипероперации в haskell. Обычно она пишется как Аккерман (a, b, n), но для целей частичного применения я думаю имеет смысл поставить сначала n. Таким образом, я ...