Семинар №50 Баин Д. "Погружаемся в плавающие точки (часть 2): доказательные вычисления при помощи чисел с плавающей точкой".

Submitted by VeraZel on Wed, 07/08/2026 - 11:22

Семинар №50
Дата:  10 июля 2026 г. (пятница)
Время: 12:00
Место: 322 (7 корпус). Семинар очный
Докладчик: Баин Данила Денисович, студент ПМИ-21МО, ассистент кафедры математического моделирования
Тема: "Погружаемся в плавающие точки (часть 2): не очень элементарное вычисление элементарных функций".
Аннотация: «Мы поговорим о программных и аппаратных реализациях математических операций для двоичных чисел с плавающей точкой. В частности, мы обсудим основные приёмы, используемые для вычисления трансцендентных функций: экспонент и логарифмов, синусов и косинусов, и т. д. — с корректным округлением. Обозрим существующие библиотеки и сравним скорость вычисления различных арифметических операций.»

Данный семинар является продолжением предыдущего. Ознакомление с содержанием предыдущего семинара желательно, но не обязательно для понимания доклада на этом семинаре.

Event date
Fri, 07/10/2026 - 12:00