Запитання з тегом «modular-arithmetic»

2
Чому оптимальні оцінювачі λ-числення здатні обчислювати великі модульні експоненції без формул?
Церковні числа - це кодування натуральних чисел як функцій. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Ви можете акуратно викласти 2 церковних …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.