К доказательному программированию для непрерывных данных (Николай Непейвода, OSEDUCONF-2026) скачать в хорошем качестве

К доказательному программированию для непрерывных данных (Николай Непейвода, OSEDUCONF-2026)

http://0x1.tv/20260208C К доказательному программированию для непрерывных данных (Николай Непейвода, OSEDUCONF-2026) Николай Непейвода ------------- Рассматриваются фундаментальные различия между алгоритмикой для дискретных и непрерывных объектов и показывается, что классические модели вычислимости адекватны прежде всего для дискретных задач. Опираясь на результаты конструктивной математики, демонстрируется связь непрерывности и относительной вычислимости, а также невозможность полноценной работы с действительными числами в рамках традиционных подходов к программированию без явной спецификации точности. Особое внимание уделяется проблемам равенства и недетерминированности в вычислениях над действительными числами. Показывается, что точное равенство в непрерывной среде неконструктивно, а корректные программы должны работать с оценками точности и учитывать приближённый характер входных и выходных данных. Предлагаются принципы замещения равенства оценками и использования контролируемой недетерминированности. Формулируются практические рекомендации по конструктивизации программ и их спецификаций: необходимость явного задания точности данных и результатов, введения «окрестностного отношения» как характеристики программы разработки методики построения логически корректных непрерывных программ в среде свободного программного обеспечения.