KR
Вообще это решается просто
Size: a a a
2020 August 28
KR
Я хз в каких там ты школах для гениев учился
KR
Но в универах, всё заливается тупо практикой.
KR
Хочешь прохавать формулу/нотацию/подход - садишься решать задачки, пока не свыкнешься
KR
Соотвественно, можешь применить
KR
Наваей себе теуву хучу лямбда-термов, а потом тупо попрактикуйся записывать в этой нотации
KR
После пары подходов - будет на подкорке
H
Я так и кодирую лямбда-исчисление в poica. В книге в конце главы задания про числа Чёрча, мне влом самому подставлять ))
H
Просто думал, что индексы Де Брейна удобнее будут
B
какой алгоритм хеширования лучше юзать чтобы искать дкблицированые куски в файле?
DF
Некриптостойкий
DF
Посмотре как ksm берет хэш
DF
Kernel same page merging
r
Кстати, macro processor естественным путём решает задачу остановки. Количество macro-expansions всегда конечно (для конечного входного текста)
DF
Конечные области по определению разрешимы
DF
Так как всегда можно составить табличку
DF
Для каждого случая
DF
То есть как конструктивное доказательство
DF
Любое конечное множество рекурсивно перечислимо
r
Для функции проверяющей Сollatz conjecture табличку придётся долго составлять.