> -- Info21 писал(а):
> ...Во-всяком случае я буду его цитировать в обоснование важности контроля используемого софта "спецназовцами".Ага.Насчёт контроля дело представляется так (если брать метод проверки моделей - допустим, как он изложен вэтой работе Ю.Г. Карпова). Для автоматизированного (ну или в принципе алгоритмического) контроля на сегодня надо полагать все типы конечной мощности. В частности, числа - целыми. Чтобы анализ был возможен за конечное и разумное время. Т.е. нецелые числовые переменные надо абстрагировать целочисленными. И вот чтобы это было корректно - нужна гарантия, что проверяемое решение "ведёт себя в целых" так же, как "в вещественных" (при заданных отклонениях значений последних от целых, принимаемых за эталонные). А это как раз возможно, если решение получено методами "Математики-2" (с принятием значений эталонов и отклонений). Я верно понимаю ситуацию?