1зной
3ответ
Показать строки бит с count (1s) = count (0s) не является регулярным
2зной
2ответ
Быстрое доказательство с использованием Coq
1зной
1ответ
Доказательство идеальной хэш-функции по фиксированной длине ввода
1зной
1ответ
доказательство правильности с помощью петлевого инварианта (индукция)
1зной
2ответ
Неисправный генератор случайных чисел?
10зной
3ответ
Общие доказательства стратегий, показывающих правильность рекурсивных функций?