ДСМ-метод: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
X7q (обсуждение | вклад) отмена правки 30940225 участника 89.178.59.38 (обс) на странице обсуждения пишите |
|||
Строка 332:
К полученному на n-м шаге набору примеров опять применяются правила первого, а затем второго рода. Этот процесс продолжается до тех пор, пока не будут доопределены все <math>\tau</math>-примеры.
===Проверка каузальной полноты===
|