Семинар №49
Дата: 07 июля 2026 г. (вторник)
Время: 12:00
Место: 322 (7 корпус). Семинар очный
Докладчик: Баин Данила Денисович, студент ПМИ-21МО, ассистент кафедры математического моделирования
Тема: "Погружаемся в плавающие точки: доказательные вычисления при помощи чисел с плавающей точкой" .
Аннотация: Формат чисел с плавающей точкой, определённый стандартом IEEE 754-2019, является доминирующим способом приближённого представления и оперирования вещественными числами на компьютере. Мы поговорим о математических свойствах чисел с плавающей точкой как подмножества вещественных чисел с определёнными на нём операциями. Обозрим приёмы, позволяющие выполнять основные арифметические операции без потери точности, а также идеи, используемые при реализации трансцендентных функций с гарантиями точности. Затем мы определим интервальную арифметику, позволяющую выполнять вычисления с гарантированной оценкой погрешности, вызванной округлениями. Благодаря гарантированности этой оценки, вычисления, сделанные в интервальной арифметике, приобретают доказательный, а не иллюстративный характер.