2зной
1ответ
Определение функции терминации (алгоритмы)
2зной
1ответ
Метод вставки Dafny, условие postcondition не может удерживаться на этом пути возврата
1зной
1ответ
Loop инвариант простого, а петли
2зной
1ответ
0зной
1ответ
Дело в том, что не изменяет в алгоритме
0зной
1ответ
Является ли это правильным инвариантом для этого цикла?
2зной
1ответ
Как определить инвариант цикла?
0зной
1ответ
Транслейтинг Eiffel петли для языков, которые не поддерживают инвариантов цикла/варианты
1зной
1ответ
инвариант цикла не достаточно сильны при манипулировании (массив) полей этого