4ответов 6 Как мы можем доказать индукцией, что бинарный поиск правильный? algorithm binary-search proof search
11ответов 6 Формальная проверка правильности алгоритма algorithm correctness formal-verification math proof
3ответов 8 Будет ли полезна возможность объявлять функции Lisp «чистыми»? compiler-optimization computer-science lisp proof purely-functional
1ответов 13 Доказательство ассоциативности сложения натуральных чисел c использованием бесформенного Scala dependent-type proof scala shapeless
4ответов 15 Доказательство правильности алгоритма распределения денег Фаулера algorithm allocation currency proof
9ответов 15 Что такое доказательство (N-1) + (N–2) + (N–3) + … + 1= N*(N–1)/2 [закрыто] formula proof
