Региональный
научно-образовательный математический центр
"Cоздание не менее 15 научно-образовательных центров мирового уровня на основе интеграции университетов и научных организаций и их кооперации с организациями, действующими в реальном секторе экономики; формирование целостной системы подготовки и профессионального роста научных и научно-педагогических кадров, обеспечивающей условия для осуществления молодыми учеными научных исследований и разработок, создания научных лабораторий и конкурентоспособных коллективов."

(В.В. Путин, из Указа Президента РФ от 7 мая 2018 г.)
О Центре
Региональный научно-образовательный математический центр Казанского федерального университета создан в целях реализации Стратегии научно-технологического развития Российской Федерации и выполнения проекта Министерства образования и науки РФ по созданию региональных научно-образовательных математических центров.

Миссия Центра состоит во всемерном содействии развитию перспективных математических исследований и формированию системы подготовки кадров высшей квалификации в области математики, ее приложений, и математического образования.
"Математический центр в Казани позволит закрепить превосходство отечественной математической школы."
Владимир Владимирович Путин 1 марта 2018 года
Поздравление с юбилеем Арсланова Марата Мирзаевича
Региональный научно-образовательный математический центр поздравляет с 75-летним юбилеем заведующего кафедрой алгебры и математической логики, доктора физико-математических наук, профессора, действительного члена Академии наук Республики Татарстан Арсланова Марата Мирзаевича. Желаем доброго здоровья, счастья и новых научных достижений Вам и Вашей научной школе!
Предстоящие события
Шилов Николай Вячеславович (Университет Иннополис)
Название доклада: Платформенно-независимая спецификация и верификация стандартных математических функций

Докладчик: Николай Шилов, к.ф.-м.н., доцент (Университет Иннополис, г. Иннополис).

Аннотация: Цель проекта "Платформенно-независимый подход к формальной спецификации и верификации стандартных математических функций" - инкрементальный комбинированный подход к спецификации и верификации стандартных математических функций таких как sqrt, cos, sin и так далее.

Платформенно-независимый подход предполагает простую аксиоматизацию машинной арифметики в терминах вещественной арифметики (то есть арифметики поля R вещественных чисел), не фиксируя ни основание системы счисления, ни формат машинного слова. Инкрементальность означает, что спецификация и верификация начинается с рассмотрения наиболее "простого" случая – элементарной спецификации и верификации простого алгоритма, работающего с вещественными числами, а заканчивается модификацией элементарной спецификации и алгоритма для машинной арифметики и верификацией алгоритма, работающего в машинной арифметике. А комбинированность подхода означает, что мы начинаем с рассмотрения "базового случая" - "ручной" верификации (с ручкой и бумагой) для алгоритма, работающего в вещественной арифметике, затем выполняем ручную верификацию алгоритма, работающего в машинной арифметике, используя верификацию для базового случая в качестве "конспекта" (proof-outlines), а заканчиваем - верификацией с использованием автоматизированной системы построения/поиска доказательства для того, чтобы исключить апелляцию к "очевидности" в ручной верификации.

В докладе будет рассказано об основных шагах и результатах платформенно-независимой инкрементальной комбинированной спецификации и верификации стандартных математических функции квадратного корня и синуса. В настоящий момент автоматизированная верификация разработанных алгоритмов выполнена только частично: с использованием системы ACL2 доказано реализуемость (существование) чисел с фиксированной запятой и таблицы начальных приближений квадратного корня.

Приглашаем Всех желающих принять участие!

13 февраля, 16:00
ауд. 610,

II-ое высотное здание КФУ, ул. Кремлевская,
д. 35
Международный конгресс математиков (International Congress of Mathematicians, ICM) в 2022 году пройдет в России. По итогам голосования Санкт-Петербург выиграл у Парижа с перевесом в 20 голосов. Об этом стало известно 29 июля на Генеральной ассамблее Международного математического союза в Сан-Паулу (Бразилия).

Международный конгресс математиков, также известный как Всемирный математический конгресс — самый влиятельный и массовый съезд ведущих математиков мира. Он проводится раз в четыре года под эгидой Международного математического союза (IMU). Кроме различных секций и докладов на конгрессе вручаются самые важные премии в области математики — медаль Филдса, премия Неванлинны, премия Гаусса, премия Черна и премия Лилавати за популяризацию математики.

За право проведения XXVIII Конгресса боролись две страны — Россия и Франция. Впервые место проведения этого мероприятия решалось при помощи голосования. За Россию проголосовали 83 человека, за Францию — 63.

Заявки на проведение Конгресса готовились с 2014 года и были поданы в конце 2016 года. В марте 2017 года исполниельный комитет Международного математического союза посетил Санкт-Петербург и Париж и после тщательного анализа рекомендовал поддержать заявку России. На Генеральной ассамблее ее представляли сопредседатель фонда «Сколково» Аркадий Дворкович, лауреаты Филдовской премии Станислав Смирнов и Андрей Окуньков, ученый секретарь Национального комитета математиков России Александр Печень; математик Федор Богомолов, академики РАН Виктор Васильев и Сергей Кисляков.

Идея собрать всех математиков мира на единый конгресс возникла в конце XIX века. Впервые это попытались сделать в 1893 году, во время Всемирной выставки в Чикаго, но осуществить идею полноценно математики смогли лишь в 1897 году, в Цюрихе. В России Конгресс проводился единственный раз — в 1966 году.
2022 год

НАШИ КОНТАКТЫ
Региональный научно-образовательный математический центр КФУ
420111, г. Казань, ул. Кремлёвская, д. 25
Телефон: +7(843) 292-14-26
Факс: +7(843) 292-14-26
mathcenter.kazan@kpfu.ru
Наши партнеры