20зной
5ответ
6зной
11ответ
Формальная проверка правильности алгоритма
11зной
19ответ
Должен ли код быть коротким/лаконичным?
9зной
6ответ
Написание доказательства для алгоритма
14зной
4ответ
Доказательство правильности алгоритма распределения денег Фаулера
6зной
2ответ
Общее доказательство эквивалентности двух FSM за конечное время?