Математическое доказательство является методом экспериментальной проверки правильности программ и играет такую же роль, как эксперимент ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лингер Р.N. Теория и практика структурного программирования


Математическое доказательство является методом экспериментальной проверки правильности программ и играет такую же роль, как эксперимент в физической или химической лаборатории. Только здесь предметом экспериментального исследования служит объект, отличный от физических предметов или материалов. Ожидаемым результатом является субъективная убежденность участников эксперимента в том, что их логическая гипотеза соответствует результату эксперимента. Такой эксперимент может быть проведен в форме беседы, коллективного обсуждения на занятиях или в письменном виде. Успешный эксперимент заканчивается субъективным убеждением участников эксперимента в том, что их гипотеза соответствует результату. Заключение может быть неправильным в том случае, когда либо принимается ложное суждение, либо отклоняется верная гипотеза. Заключение может быть правильным, но основанным на ошибочных рассуждениях. Известно, что человеку свойственно ошибаться.

(cкачать страницу)

Смотреть книгу на libgen

Математическое доказательство является методом экспериментальной проверки правильности программ и играет такую же роль, как эксперимент в физической или химической лаборатории. Только здесь предметом экспериментального исследования служит объект, отличный от физических предметов или материалов. Ожидаемым результатом является субъективная убежденность участников эксперимента в том, что их логическая гипотеза соответствует результату эксперимента. Такой эксперимент может быть проведен в форме беседы, коллективного обсуждения на занятиях или в письменном виде. Успешный эксперимент заканчивается субъективным убеждением участников эксперимента в том, что их гипотеза соответствует результату. Заключение может быть неправильным в том случае, когда либо принимается ложное суждение, либо отклоняется верная гипотеза. Заключение может быть правильным, но основанным на ошибочных рассуждениях. Известно, что человеку свойственно ошибаться.